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

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