diff --git a/autogen.sh b/autogen.sh index f1591d8e1744cae9b47aa1abbbe4b6befcda2408..53db06f7e3ca43f04043daac3dbf3011b3e851d1 100755 --- a/autogen.sh +++ b/autogen.sh @@ -77,7 +77,7 @@ if test "x$OBJ_DIR" != x; then cd "$OBJ_DIR" fi -if test -z "$*" && test -f config.status; then +if test -z "$*" && test -z "$EXTRA_ARGS" && test -f config.status; then ./config.status --recheck else $srcdir/configure $EXTRA_ARGS "$@"