diff options
| -rwxr-xr-x | configure1.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure1.in b/configure1.in index cf73c1b378d..cf90d936b40 100755 --- a/configure1.in +++ b/configure1.in @@ -262,6 +262,11 @@ Set it to either \`yes' or \`no'." 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 |