From 2571982bbfdda44b176628e3354527970cb61407 Mon Sep 17 00:00:00 2001
From: Klaus Aehlig <aehlig@linta.de>
Date: Tue, 14 Jun 2016 08:45:44 +0000
Subject: 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
---
 src/package-bazel.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/package-bazel.sh')

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
-- 
cgit v1.2.3