File tree 2 files changed +2
-2
lines changed
2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -166,7 +166,7 @@ case "$1" in
166
166
--) shift ; for arg; do addResidual " $arg " ; done ; set -- ;;
167
167
-h|-help) help=true && shift ;;
168
168
-bootstrapped) bootstrapped=true && shift ;;
169
- -v|-verbose) verbose=true && shift ;;
169
+ -v|-verbose) verbose=true && addScala " -verbose " && shift ;;
170
170
-debug) debug=true && shift ;;
171
171
-q|-quiet) quiet=true && shift ;;
172
172
Original file line number Diff line number Diff line change @@ -75,7 +75,7 @@ while [[ $# -gt 0 ]]; do
75
75
case " $1 " in
76
76
--) shift ; for arg; do addResidual " $arg " ; done ; set -- ;;
77
77
-h|-help) help=true && shift ;;
78
- -v|-verbose) verbose=true && shift ;;
78
+ -v|-verbose) verbose=true && addScala " -verbose " && shift ;;
79
79
-debug) DEBUG=" $DEBUG_STR " && shift ;;
80
80
-q|-quiet) quiet=true && shift ;;
81
81
You can’t perform that action at this time.
0 commit comments