commit d21000f38560be7717324659d658e881760eefae
author Andrew Hsieh <andrewhsieh@google.com> Fri Mar 22 15:33:56 2013 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Fri Mar 22 15:33:57 2013 +0000
tree e55c38b62e32fef3f5a8da9ac58932d739cf9fad
parent de9e64e561d2d1550978e5e0dfef4e6867c1322e
parent e627a6145b678c273ed63de90097cd1b79708d2c

Merge "Warn if shell isn't bash"

build/tools/prebuilt-common.sh

diff --git a/build/tools/prebuilt-common.sh b/build/tools/prebuilt-common.sh
index a83b92a..b452629 100644
--- a/build/tools/prebuilt-common.sh
+++ b/build/tools/prebuilt-common.sh
@@ -17,6 +17,11 @@
     fi
 fi
 
+# Warn about /bin/sh ins't bash.
+if [ -z "$BASH_VERSION" ] ; then
+    echo "WARNING: The shell running this script isn't bash.  Although we try to avoid bashism in scripts, things can happen."
+fi
+
 NDK_BUILDTOOLS_ABSPATH=$(cd $NDK_BUILDTOOLS_PATH && pwd)
 
 . $NDK_BUILDTOOLS_PATH/../core/ndk-common.sh