Formerly ../configure.in.~17~
authorroland <roland>
Fri, 23 Apr 1993 01:23:42 +0000 (01:23 +0000)
committerroland <roland>
Fri, 23 Apr 1993 01:23:42 +0000 (01:23 +0000)
configure.in

index 2edd41b..b5193e4 100644 (file)
@@ -44,6 +44,7 @@ version=
 release=
 prefix=
 exec_prefix=
+verbose=
 
 lose=
 for arg in $*; do
@@ -121,6 +122,11 @@ for arg in $*; do
        next=prefix
        ;;
 
+     -v | -verbose | --verbose | --verbos | --verbo | --verb | --ver | --ve | --v)
+       # Autoconf-generated code below will test this.
+       verbose=yes
+       ;;
+
      -*)
        echo "Invalid option \`$arg'" 1>&2
        lose=yes