diff options
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 |