diff options
author | 2016-08-05 11:37:09 +0000 | |
---|---|---|
committer | 2016-08-05 13:34:38 +0000 | |
commit | 7a1d4132012c5ae6c1617045138e1a662e3964bd (patch) | |
tree | 8b80850650dcd65b85e535124e4943716b85483f /scripts | |
parent | 3070266ca0f42c403fc85d0557dad32d010b31d3 (diff) |
Revert build-runfiles to use /bin/bash
If /bin/sh is dash (default on Ubuntu), this output a lot of garbage error, which make thing that the dummy build-runfiles is incorrect.
See http://ci.bazel.io/view/Bazel%20bootstrap%20and%20maintenance/job/Bazel/JAVA_VERSION=1.8,PLATFORM_NAME=ubuntu_15.10-x86_64/731/console
--
MOS_MIGRATED_REVID=129430198
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/bootstrap/compile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/bootstrap/compile.sh b/scripts/bootstrap/compile.sh index bf1da4dd81..04e32e6c87 100755 --- a/scripts/bootstrap/compile.sh +++ b/scripts/bootstrap/compile.sh @@ -209,7 +209,7 @@ mkdir -p ${ARCHIVE_DIR}/_embedded_binaries # Dummy build-runfiles cat <<'EOF' >${ARCHIVE_DIR}/_embedded_binaries/build-runfiles${EXE_EXT} -#!/bin/sh +#!/bin/bash mkdir -p $2 cp $1 $2/MANIFEST EOF |