From 453d871f36a9f30d44f6ffb36d9210e16c0d0c34 Mon Sep 17 00:00:00 2001 From: Thomas Vander Stichele Date: Mon, 12 May 2003 15:08:49 +0000 Subject: [PATCH] fixes 107967 Original commit message from CVS: fixes 107967 --- autogen.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/autogen.sh b/autogen.sh index 25f8846b43..fdccd89caf 100755 --- a/autogen.sh +++ b/autogen.sh @@ -72,14 +72,14 @@ tool_run "$automake" "-a -c" # if enable exists, add an -enable option for each of the lines in that file if test -f enable; then for a in `cat enable`; do - CONFIGURE_OPT="$CONFIGURE_OPT --enable-$a" + CONFIGURE_FILE_OPT="--enable-$a" done fi # if disable exists, add an -disable option for each of the lines in that file if test -f disable; then for a in `cat disable`; do - CONFIGURE_OPT="$CONFIGURE_OPT --disable-$a" + CONFIGURE_FILE_OPT="$CONFIGURE_FILE_OPT --disable-$a" done fi @@ -92,9 +92,10 @@ test -n "$NOCONFIGURE" && { echo "+ running configure ... " test ! -z "$CONFIGURE_DEF_OPT" && echo " ./configure default flags: $CONFIGURE_DEF_OPT" test ! -z "$CONFIGURE_EXT_OPT" && echo " ./configure external flags: $CONFIGURE_EXT_OPT" +test ! -z "$CONFIGURE_FILE_OPT" && echo " ./configure enable/disable flags: $CONFIGURE_FILE_OPT" echo -./configure $CONFIGURE_DEF_OPT $CONFIGURE_EXT_OPT || { +./configure $CONFIGURE_DEF_OPT $CONFIGURE_EXT_OPT $CONFIGURE_FILE_OPT || { echo " configure failed" exit 1 }