From 58a1f7b9ced7c070ef44aaa0abdf93001dbd7738 Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Mon, 4 Jan 2016 18:22:31 +0100
Subject: 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
---
 bin/dotc | 4 ++--
 1 file 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
-- 
cgit v1.2.3