diff autogen.sh @ 4296:399595b12ca7

[project @ 2003-01-11 16:57:55 by jwe]
author jwe
date Sat, 11 Jan 2003 16:57:55 +0000
parents a8f572c03a7c
children e50b44b75891
line wrap: on
line diff
--- a/autogen.sh	Sat Jan 11 04:23:24 2003 +0000
+++ b/autogen.sh	Sat Jan 11 16:57:55 2003 +0000
@@ -29,12 +29,12 @@
     if [ -f skip-autoconf ]; then
       echo "skipping autoconf in $dir"
     else
-      autoconf
+      autoconf --force
     fi
     if [ -f skip-autoheader ]; then
       echo "skipping autoheader in $dir"
     else
-      autoheader
+      autoheader --force
     fi
 ); done