diff options
| author |  Klaus Aehlig <aehlig@linta.de> | 2016-06-14 08:45:44 +0000 |
|---|---|---|
| committer |  Yue Gan <yueg@google.com> | 2016-06-14 11:03:02 +0000 |
| commit | 2571982bbfdda44b176628e3354527970cb61407 (patch) | |
| tree | cc52c2673fe4fe7a2dcdac8421f06148165276f8 /src/package-bazel.sh | |
| parent | ac10999fabcc82ffbefaece376cc86ce209d6695 (diff) | |
Make package-bazel.sh an sh script
Assuming that some POSIX-shell be installed as /bin/sh is more
portable than assuming bash being installed as /bin/bash. Also,
not using bash-extensions is generally more portable.
--
Change-Id: I76877bbcd848d78aaa04bab22a38890a02f6b814
Reviewed-on: https://bazel-review.googlesource.com/#/c/3800
MOS_MIGRATED_REVID=124815102
Diffstat (limited to 'src/package-bazel.sh')
| -rwxr-xr-x | src/package-bazel.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/package-bazel.sh b/src/package-bazel.sh index 27d0f5e06c..2206083f2c 100755 --- a/src/package-bazel.sh +++ b/src/package-bazel.sh @@ -1,4 +1,4 @@ -#!/bin/bash -eu +#!/bin/sh -eu # # Copyright 2015 The Bazel Authors. All rights reserved. # @@ -37,7 +37,7 @@ cp ${INSTALL_BASE_KEY} ${PACKAGE_DIR}/install_base_key # The timestamp of embedded tools should already be zeroed out in the input zip touch -t 198001010000.00 ${PACKAGE_DIR}/* -if [[ ${EMBEDDED_TOOLS} != "" ]]; then +if [ -n "${EMBEDDED_TOOLS}" ]; then mkdir ${PACKAGE_DIR}/embedded_tools (cd ${PACKAGE_DIR}/embedded_tools && unzip -q ${WORKDIR}/${EMBEDDED_TOOLS}) fi |