diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-20 11:08:18 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:35 +0200 |
commit | 6b12f65244964ba740d1a2c2ef7a0b6e3c7b5eb0 (patch) | |
tree | 1e12d1e095f80526d6070dd82cc9095256cbc7da /bin | |
parent | 68eae1a27da2ff6be1aa7747205d6e202d9ed781 (diff) | |
download | dotty-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-x | bin/dotr | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |