aboutsummaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorFelix Mulder <felix.mulder@gmail.com>2016-09-20 11:08:18 +0200
committerFelix Mulder <felix.mulder@gmail.com>2016-10-10 13:25:35 +0200
commit6b12f65244964ba740d1a2c2ef7a0b6e3c7b5eb0 (patch)
tree1e12d1e095f80526d6070dd82cc9095256cbc7da /bin
parent68eae1a27da2ff6be1aa7747205d6e202d9ed781 (diff)
downloaddotty-6b12f65244964ba740d1a2c2ef7a0b6e3c7b5eb0.tar.gz
dotty-6b12f65244964ba740d1a2c2ef7a0b6e3c7b5eb0.tar.bz2
dotty-6b12f65244964ba740d1a2c2ef7a0b6e3c7b5eb0.zip
Fix #1525: start repl if first arg to dotr starts with hyphen
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