diff options
Diffstat (limited to 'gdb/gdb_mbuild.sh')
-rwxr-xr-x | gdb/gdb_mbuild.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gdb/gdb_mbuild.sh b/gdb/gdb_mbuild.sh index a23ea5e12d3..fc1721904b8 100755 --- a/gdb/gdb_mbuild.sh +++ b/gdb/gdb_mbuild.sh @@ -85,7 +85,8 @@ do ;; -f ) # Force a rebuild - force=true ; shift ;; + force=true ; + ;; -v ) # Be more, and more, and more, verbose verbose=`expr ${verbose} + 1` |