diff options
| author | Ian Lance Taylor <ian@airs.com> | 1995-11-22 16:30:36 +0000 |
|---|---|---|
| committer | Ian Lance Taylor <ian@airs.com> | 1995-11-22 16:30:36 +0000 |
| commit | 81749575db1753e70766d4d86c55c2170ef5d67c (patch) | |
| tree | 91f1940fb23c27c84d446ea61ad1ef958e157645 /configure | |
| parent | 255764a94666875d77f34a0caefc7341f16d1fd7 (diff) | |
| download | gdb-81749575db1753e70766d4d86c55c2170ef5d67c.zip gdb-81749575db1753e70766d4d86c55c2170ef5d67c.tar.gz gdb-81749575db1753e70766d4d86c55c2170ef5d67c.tar.bz2 | |
* configure: Don't turn -v into --v.
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" ;; |