diff --git a/common/autoconf/configure b/common/autoconf/configure index 00a07fccae1e9a8fed76c7717228ad4287854097..911351cb2915b34d479a944263952c13da805874 100644 --- a/common/autoconf/configure +++ b/common/autoconf/configure @@ -28,6 +28,9 @@ if test "x$BASH_VERSION" = x; then exit 1 fi +# Force autoconf to use bash. +export CONFIG_SHELL=$BASH + CONFIGURE_COMMAND_LINE="$@" conf_script_dir=`dirname $0`