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