diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2016-01-04 18:22:31 +0100 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-01-04 18:22:31 +0100 |
commit | 58a1f7b9ced7c070ef44aaa0abdf93001dbd7738 (patch) | |
tree | 14935825dd949901afd2294c3a187450f08c470c /bin | |
parent | 66e02a5256cbd7519418e2409c4929a20b9e23ed (diff) | |
download | dotty-58a1f7b9ced7c070ef44aaa0abdf93001dbd7738.tar.gz dotty-58a1f7b9ced7c070ef44aaa0abdf93001dbd7738.tar.bz2 dotty-58a1f7b9ced7c070ef44aaa0abdf93001dbd7738.zip |
bin/dotc: fix "-d" argument
It's already used to specify an output folder, don't try to interpret it
as a shortcut for -debug
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/dotc | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -151,7 +151,7 @@ onExit () { # Get debug set early for arg in "$@"; do - [[ $arg == "-d" ]] && debug=true + [[ $arg == "-debug" ]] && debug=true done # to reenable echo if we are interrupted before completing. @@ -244,7 +244,7 @@ case "$1" in -h|-help) usage; exit 1 ;; -bootstrapped) bootstrapped=true && shift ;; -v|-verbose) verbose=true && shift ;; - -d|-debug) debug=true && shift ;; + -debug) debug=true && shift ;; -q|-quiet) quiet=true && shift ;; # Optimize for short-running applications, see https://github.com/lampepfl/dotty/issues/222 |