diff options
author | Dmitry Lomov <dslomov@google.com> | 2016-02-15 16:15:03 +0000 |
---|---|---|
committer | Damien Martin-Guillerez <dmarting@google.com> | 2016-02-16 09:39:56 +0000 |
commit | 9d40a60efec40add9443edbd75b77cdccbbc43dc (patch) | |
tree | 5f8db65400fcd5a84cee4678505cff5b9ffb55ac /compile.sh | |
parent | fa465f6f6216c5a3202964edf78e085cb19d5195 (diff) |
On Windows, build ``bazel.exe`` instead of just ``bazel``.
Needed for #276.
--
MOS_MIGRATED_REVID=114693711
Diffstat (limited to 'compile.sh')
-rwxr-xr-x | compile.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compile.sh b/compile.sh index 3a0869ada5..341a163416 100755 --- a/compile.sh +++ b/compile.sh @@ -91,10 +91,10 @@ if [ $DO_COMPILE ]; then new_step 'Building Bazel with Bazel' display "." log "Building output/bazel" - bazel_build src:bazel - cp -f bazel-bin/src/bazel output/bazel - chmod 0755 output/bazel - BAZEL=$(pwd)/output/bazel + bazel_build "src:bazel${EXE_EXT}" + cp -f "bazel-bin/src/bazel${EXE_EXT}" "output/bazel${EXE_EXT}" + chmod 0755 "output/bazel${EXE_EXT}" + BAZEL="$(pwd)/output/bazel${EXE_EXT}" fi # |