diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -146,6 +146,9 @@ do shift arguments="$arguments $option=$optarg" ;; + --v) + arguments="$arguments -v" + ;; --*) arguments="$arguments $option" ;; |