diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-03-18 11:56:55 +0100 |
---|---|---|
committer | Dmitry Petrashko <dark@d-d.me> | 2016-03-18 11:56:55 +0100 |
commit | a675cbf90ce3dee2773aec376125054edefb895f (patch) | |
tree | ec780378e97c93577e1a393a18078aaf39dc86f6 | |
parent | e73ef776e1754f5e207a631d4c1750743b3d4a9b (diff) | |
parent | 19a13db9b2692a6e1ea73cff361315f143fcbfaf (diff) | |
download | dotty-a675cbf90ce3dee2773aec376125054edefb895f.tar.gz dotty-a675cbf90ce3dee2773aec376125054edefb895f.tar.bz2 dotty-a675cbf90ce3dee2773aec376125054edefb895f.zip |
Merge pull request #1176 from liufengyun/master
fix command line processing error
-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 ;; |