aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/dotc4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/dotc b/bin/dotc
index 7b90b5220..623a60eef 100755
--- a/bin/dotc
+++ b/bin/dotc
@@ -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