diff options
author | liu fengyun <liufengyunchina@gmail.com> | 2016-03-14 15:10:45 +0100 |
---|---|---|
committer | liu fengyun <liufengyunchina@gmail.com> | 2016-03-15 10:37:40 +0100 |
commit | 19a13db9b2692a6e1ea73cff361315f143fcbfaf (patch) | |
tree | 12474e2fa7cbc81f79e99090549848650146a282 /bin | |
parent | 01269e9be9e93e0ff38ad919cac0eb7240a2d195 (diff) | |
download | dotty-19a13db9b2692a6e1ea73cff361315f143fcbfaf.tar.gz dotty-19a13db9b2692a6e1ea73cff361315f143fcbfaf.tar.bz2 dotty-19a13db9b2692a6e1ea73cff361315f143fcbfaf.zip |
fix command line processing error
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/dotc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -245,7 +245,7 @@ main_class=$CompilerMain while [[ $# -gt 0 ]]; do case "$1" in --) shift; for arg; do addResidual "$arg"; done; set -- ;; - -h|-help) usage; exit 1 ;; + -h|-help) help=true && shift ;; -bootstrapped) bootstrapped=true && shift ;; -v|-verbose) verbose=true && shift ;; -debug) debug=true && shift ;; @@ -259,7 +259,7 @@ case "$1" in -run) main_class=$ReplMain && shift ;; -fsc) main_class=$FscMain && shift ;; -bootcp) bootcp=true && shift ;; - -no-bootcp) unset bootcp && shift ;; + -nobootcp) unset bootcp && shift ;; -colors) colors=true && shift ;; -no-colors) unset colors && shift ;; -jrebel) jrebel=true && shift ;; |