diff autogen.sh @ 3785:a8f572c03a7c

[project @ 2001-02-07 17:26:15 by jwe]
author jwe
date Wed, 07 Feb 2001 17:26:16 +0000
parents b7d997d593d9
children 399595b12ca7
line wrap: on
line diff
--- a/autogen.sh
+++ b/autogen.sh
@@ -23,10 +23,19 @@
 }
 
 for i in `find . -name configure.in -print`; do (
-    cd `dirname $i`
+    dir=`dirname $i`
+    cd $dir
     pwd
-    autoconf 
-    autoheader
+    if [ -f skip-autoconf ]; then
+      echo "skipping autoconf in $dir"
+    else
+      autoconf
+    fi
+    if [ -f skip-autoheader ]; then
+      echo "skipping autoheader in $dir"
+    else
+      autoheader
+    fi
 ); done
 
 echo done