8069057: Make sure configure is run by bash

Reviewed-by: erikj
2015-01-15 15:43:28 +01:00 · 2015-01-15 15:43:28 +01:00 · 721b7a43be
commit 721b7a43be
parent 963ea242c9
1 changed files with 7 additions and 0 deletions
--- a/common/autoconf/configure
+++ b/common/autoconf/configure
@ -36,6 +36,13 @@ else
  shift
 fi

+if test "x$BASH" = x; then
+  echo "Error: This script must be run using bash." 1>&2
+  exit 1
+fi
+# Force autoconf to use bash
+export CONFIG_SHELL=$BASH
+
 conf_script_dir="$TOPDIR/common/autoconf"

 if [ "$CUSTOM_CONFIG_DIR" = "" ]; then