equal
deleted
inserted
replaced
38 |
38 |
39 if test "x$BASH" = x; then |
39 if test "x$BASH" = x; then |
40 echo "Error: This script must be run using bash." 1>&2 |
40 echo "Error: This script must be run using bash." 1>&2 |
41 exit 1 |
41 exit 1 |
42 fi |
42 fi |
43 # Force autoconf to use bash |
43 # Force autoconf to use bash. This also means we must disable autoconf re-exec. |
44 export CONFIG_SHELL=$BASH |
44 export CONFIG_SHELL=$BASH |
|
45 export _as_can_reexec=no |
45 |
46 |
46 conf_script_dir="$TOPDIR/common/autoconf" |
47 conf_script_dir="$TOPDIR/common/autoconf" |
47 |
48 |
48 if [ "$CUSTOM_CONFIG_DIR" = "" ]; then |
49 if [ "$CUSTOM_CONFIG_DIR" = "" ]; then |
49 conf_custom_script_dir="$TOPDIR/closed/autoconf" |
50 conf_custom_script_dir="$TOPDIR/closed/autoconf" |