configure: add --with-pylint=[yes|no|maybe] defaulting to maybe

[bup.git] / configure

diff --git a/configure b/configure
index f7cb928936b56e64eb663da8a608f9f5672ed07d..9d6ca151576934c6223afb98830a4d0917f5448f 100755 (executable)
--- a/configure
+++ b/configure
@@ -1,9 +1,6 @@
 #!/bin/sh
 
-if test "$#" -gt 0; then
-    echo "Usage: configure" 1>&2
-    exit 1
-fi
+set -e
 
-cd config &&
+cd config
 exec ./configure "$@"