changeset 1427:0dd73d0f67af

8069057: Make sure configure is run by bash Reviewed-by: erikj
author ihse
date Mon, 09 Mar 2015 20:29:10 -0400
parents 2025e237b2a1
children d22ee7172ab2
files common/autoconf/configure
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/common/autoconf/configure	Wed Mar 11 14:22:43 2015 -0400
+++ b/common/autoconf/configure	Mon Mar 09 20:29:10 2015 -0400
@@ -28,6 +28,9 @@
   exit 1
 fi
 
+# Force autoconf to use bash.
+export CONFIG_SHELL=$BASH
+
 CONFIGURE_COMMAND_LINE="$@"
 conf_script_dir=`dirname $0`