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"