1 files changed, 3 insertions, 0 deletions
diff --git a/bin/dotc b/bin/dotc
index cafd80f03..72ac3141a 100755
--- a/bin/dotc
+++ b/bin/dotc
@@ -185,6 +185,9 @@ case "$1" in
     -d|-debug) debug=true && shift ;;
     -q|-quiet) quiet=true && shift ;;
 
+    # Optimize for short-running applications, see https://github.com/lampepfl/dotty/issues/222
+    -Oshort) addJava "-XX:+TieredCompilation -XX:TieredStopAtLevel=1" && shift ;;
+
         -repl) main_class=$ReplMain && shift ;;
      -compile) main_class=$CompilerMain && shift ;;
          -run) main_class=$ReplMain && shift ;;