aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorFelix Mulder <felix.mulder@gmail.com>2016-10-10 22:38:00 +0200
committerGitHub <noreply@github.com>2016-10-10 22:38:00 +0200
commit618cebbec6fd5727b51974fa372ae984c03f9f99 (patch)
tree969d3dc103a6ad06f0ad263a692ee726afd85b46 /bin
parent9ef03414b78622ce181d300c1bf7f607fe4ddea8 (diff)
parent550c643a2a9ad785318e9a727ddc82e3e2f244aa (diff)
downloaddotty-618cebbec6fd5727b51974fa372ae984c03f9f99.tar.gz
dotty-618cebbec6fd5727b51974fa372ae984c03f9f99.tar.bz2
dotty-618cebbec6fd5727b51974fa372ae984c03f9f99.zip
Merge pull request #1521 from felixmulder/topic/better-errormessages
Operation beautify error messages
Diffstat (limited to 'bin')
-rwxr-xr-xbin/dotr4
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/dotr b/bin/dotr
index b11712fe9..8905afd11 100755
--- a/bin/dotr
+++ b/bin/dotr
@@ -29,9 +29,13 @@ function runMain {
fi
}
+first_arg=$1
+
if [ -z "$1" ]; then
echo "Starting dotty REPL..."
eval "$DOTTY_ROOT/bin/dotc -repl"
+elif [[ ${first_arg:0:1} == "-" ]]; then
+ eval "$DOTTY_ROOT/bin/dotc -repl $@"
else
runMain "$@"
fi