diff options
| author |  Damien Martin-Guillerez <dmarting@google.com> | 2015-06-24 12:04:27 +0000 |
|---|---|---|
| committer | Damien Martin-Guillerez <dmarting@google.com> | 2015-06-24 12:08:40 +0000 |
| commit | a377af083e2d3edb77a9c071c09cb40b318a8dd1 (patch) | |
| tree | bbc34d8b83742e4cb5d266b919d9db64edbfb840 /compile.sh | |
| parent | 3eafd190524db0473c9bb9b80478e76514d7c572 (diff) | |
Enforce embed label only if not set
This way we can use it to build unstamped binary with an empty
EMBED_LABEL.
--
Change-Id: Id63360f2ccd85a4ba42d54ba670c53cbadacfeca
Reviewed-on: https://bazel-review.googlesource.com/#/c/1560/
MOS_MIGRATED_REVID=96764907
Diffstat (limited to 'compile.sh')
| -rwxr-xr-x | compile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compile.sh b/compile.sh index bb93313949..e96a22d56e 100755 --- a/compile.sh +++ b/compile.sh @@ -82,7 +82,7 @@ fi # # Bootstrap bazel using the previous bazel binary = release binary # -if [ -z "${EMBED_LABEL-}" ]; then +if [ "${EMBED_LABEL-x}" = "x" ]; then # Add a default label when unspecified git_sha1=$(git_sha1) EMBED_LABEL="head (@${git_sha1:-non-git})" |