1 files changed, 1 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh
index fb1b2e97..b1af3b5c 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -84,7 +84,7 @@ test ! -z "$CONFIGURE_DEF_OPT" && echo "  ./configure default flags: $CONFIGURE_
 test ! -z "$CONFIGURE_EXT_OPT" && echo "  ./configure external flags: $CONFIGURE_EXT_OPT"
 echo
 
-./configure $CONFIGURE_OPT $CONFIGURE_EXT_OPT || {
+./configure $CONFIGURE_DEF_OPT $CONFIGURE_EXT_OPT || {
         echo "  configure failed"
         exit 1
 }