chiark / gitweb /
Added an option to configure in autogen
authorxantares <xantares09@hotmail.com>
Fri, 30 Aug 2013 14:44:08 +0000 (16:44 +0200)
committerxantares <xantares09@hotmail.com>
Fri, 30 Aug 2013 14:44:08 +0000 (16:44 +0200)
autogen.sh

index a9128dfded1d228c4ec80300148aa0696b1b799a..05b709b9a87549c3c75eb9f9590957f0c74b8e7b 100755 (executable)
@@ -1,6 +1,7 @@
 #!/bin/sh
 
 configure_args=""
+configure="yes"
 
 while test $# -ge 1; do
     case $1 in
@@ -9,6 +10,7 @@ while test $# -ge 1; do
        --disable-*) configure_args="$configure_args $1" ;;
        --with-*) configure_args="$configure_args $1" ;;
        --without-*) configure_args="$configure_args $1" ;;
+       --no-configure) configure="no" ;;
        *) echo "unknown argument $1"; exit 1 ;;
     esac
     shift
@@ -23,12 +25,15 @@ autoreconf --verbose --install --symlink --force
 autoreconf --verbose --install --symlink --force
 autoreconf --verbose --install --symlink --force
 
-config=good # hackery so darcs_test still outputs config.log w/failed configure
+if test "$configure" = "yes"
+then
+  config=good # hackery so darcs_test still outputs config.log w/failed configure
 
-./configure --enable-maintainer-mode $configure_args || config=bad
+  ./configure --enable-maintainer-mode $configure_args || config=bad
 
-if test x$verbose = xyes; then
-    cat config.log
-fi
+  if test x$verbose = xyes; then
+      cat config.log
+  fi
 
-test $config = bad && exit 1
+  test $config = bad && exit 1
+fi
\ No newline at end of file