common/autoconf/configure
changeset 28813 827e40c396a6
parent 28358 4be84366834a
child 30417 581a2762eef1
--- a/common/autoconf/configure	Tue Feb 10 12:25:44 2015 +0100
+++ b/common/autoconf/configure	Wed Feb 11 09:18:49 2015 +0100
@@ -40,8 +40,9 @@
   echo "Error: This script must be run using bash." 1>&2
   exit 1
 fi
-# Force autoconf to use bash
+# Force autoconf to use bash. This also means we must disable autoconf re-exec.
 export CONFIG_SHELL=$BASH
+export _as_can_reexec=no
 
 conf_script_dir="$TOPDIR/common/autoconf"