Browse Source

Merge pull request #1084 from tendermint/fix-make-dist-script

fix broken `make dist` target
pull/1093/head
Ethan Buchman 7 years ago
committed by GitHub
parent
commit
8d86b6c2d2
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
  1. +2
    -1
      scripts/dist_build.sh

+ 2
- 1
scripts/dist_build.sh View File

@ -18,7 +18,8 @@ XC_ARCH=${XC_ARCH:-"386 amd64 arm"}
XC_OS=${XC_OS:-"solaris darwin freebsd linux windows"} XC_OS=${XC_OS:-"solaris darwin freebsd linux windows"}
# Make sure build tools are available. # Make sure build tools are available.
make tools
# TODO: Tools should be "vendored" too.
make get_tools
# Get VENDORED dependencies # Get VENDORED dependencies
make get_vendor_deps make get_vendor_deps


Loading…
Cancel
Save