# HG changeset patch
# User Jim Blandy <jimb@redhat.com>
# Date 740886769 0
# Node ID ad75597554280d2f47fd152f48cce86db4bca4ca
# Parent  f457e67ddb6b3a8e8c20d7320e9d69d8466e6a36
	* configure.in: Add --verbose flag.

diff -r f457e67ddb6b -r ad7559755428 configure1.in
--- a/configure1.in	Thu Jun 24 01:48:59 1993 +0000
+++ b/configure1.in	Thu Jun 24 01:52:49 1993 +0000
@@ -262,6 +262,11 @@
 	  exec_prefix="${val}"
         ;;
 
+	## Verbose flag, tested by autoconf macros.
+	"verbose" )
+	  verbose=yes
+	;;
+
 	## Has the user asked for some help?
 	"usage" | "help" )
 	  echo "${short_usage}" | more