File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -245,7 +245,7 @@ main_class=$CompilerMain
245
245
while [[ $# -gt 0 ]]; do
246
246
case " $1 " in
247
247
--) shift ; for arg; do addResidual " $arg " ; done ; set -- ;;
248
- -h|-help) usage ; exit 1 ;;
248
+ -h|-help) help=true && shift ;;
249
249
-bootstrapped) bootstrapped=true && shift ;;
250
250
-v|-verbose) verbose=true && shift ;;
251
251
-debug) debug=true && shift ;;
@@ -259,7 +259,7 @@ case "$1" in
259
259
-run) main_class=$ReplMain && shift ;;
260
260
-fsc) main_class=$FscMain && shift ;;
261
261
-bootcp) bootcp=true && shift ;;
262
- -no-bootcp ) unset bootcp && shift ;;
262
+ -nobootcp ) unset bootcp && shift ;;
263
263
-colors) colors=true && shift ;;
264
264
-no-colors) unset colors && shift ;;
265
265
-jrebel) jrebel=true && shift ;;
You can’t perform that action at this time.
0 commit comments