diff options
author | Damien Martin-Guillerez <dmarting@google.com> | 2016-06-21 12:39:17 +0000 |
---|---|---|
committer | Philipp Wollermann <philwo@google.com> | 2016-06-21 14:47:25 +0000 |
commit | ff43ef42fdbbf57f4551085012a3f7077ac99222 (patch) | |
tree | e6dfe4d86f9207a534400b75898c62a37ffc713e | |
parent | ab3518874ad8363185e75ea3ac1490c04ee2f82d (diff) |
Rollback of commit b692917a73e73d05a65979992f87ad93445dee97.
*** Reason for rollback ***
Broke Bazel build on Ubuntu 15.10, e.g.:
http://ci.bazel.io/view/Bazel%20bootstrap%20and%20maintenance/job/Bazel/JAVA_VERSION=1.8,PLATFORM_NAME=ubuntu_15.10-x86_64/611/console
*** Original change description ***
Make create_embedded_tools.sh an sh script
This script is called directly (and not as an argument to the shell),
hence the #!-line needs to be correct. As the script does not use any
bash-specific feature, we can maintain it as a script for the POSIX
shell, which has the advantage that the path is canonical.
--
MOS_MIGRATED_REVID=125441679
-rwxr-xr-x | src/create_embedded_tools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/create_embedded_tools.sh b/src/create_embedded_tools.sh index 53f7395bf7..3ddf6bbf64 100755 --- a/src/create_embedded_tools.sh +++ b/src/create_embedded_tools.sh @@ -1,4 +1,4 @@ -#!/bin/sh -eu +#!/bin/bash -eu # Copyright 2015 The Bazel Authors. All rights reserved. # |