diff -r 6c36bc1ccc0e -r 827e40c396a6 common/autoconf/configure
--- 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"