Browse Source

fix broken `make dist` target

pull/1084/head
Anton Kaliaev 7 years ago
parent
commit
555f560ecd
No known key found for this signature in database GPG Key ID: 7B6881D965918214
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"}
# Make sure build tools are available.
make tools
# TODO: Tools should be "vendored" too.
make get_tools
# Get VENDORED dependencies
make get_vendor_deps


Loading…
Cancel
Save