diff --git a/autogen.sh b/autogen.sh index b5c96882d9..2be836008a 100755 --- a/autogen.sh +++ b/autogen.sh @@ -1,12 +1,12 @@ #!/bin/sh -e -autoconf +autoconf -f ( cd tools - autoconf + autoconf -f autoheader ) ( cd stubdom - autoconf + autoconf -f ) ( cd docs - autoconf + autoconf -f )