From 19a13db9b2692a6e1ea73cff361315f143fcbfaf Mon Sep 17 00:00:00 2001
From: liu fengyun <liufengyunchina@gmail.com>
Date: Mon, 14 Mar 2016 15:10:45 +0100
Subject: fix command line processing error

---
 bin/dotc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'bin')

diff --git a/bin/dotc b/bin/dotc
index 993f58df8..5798e0523 100755
--- a/bin/dotc
+++ b/bin/dotc
@@ -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 ;;
-- 
cgit v1.2.3