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
diff --git a/src/package-bazel.sh b/src/package-bazel.sh
index 27d0f5e..2206083 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 @@
# 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
