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'." | |||
| 262 | exec_prefix="${val}" | 262 | exec_prefix="${val}" |
| 263 | ;; | 263 | ;; |
| 264 | 264 | ||
| 265 | ## Verbose flag, tested by autoconf macros. | ||
| 266 | "verbose" ) | ||
| 267 | verbose=yes | ||
| 268 | ;; | ||
| 269 | |||
| 265 | ## Has the user asked for some help? | 270 | ## Has the user asked for some help? |
| 266 | "usage" | "help" ) | 271 | "usage" | "help" ) |
| 267 | echo "${short_usage}" | more | 272 | echo "${short_usage}" | more |