File tree 2 files changed +11
-1
lines changed
2 files changed +11
-1
lines changed Original file line number Diff line number Diff line change @@ -185,6 +185,9 @@ case "$1" in
185
185
-d|-debug) debug=true && shift ;;
186
186
-q|-quiet) quiet=true && shift ;;
187
187
188
+ # Optimize for short-running applications, see https://github.com/lampepfl/dotty/issues/222
189
+ -Oshort) addJava " -XX:+TieredCompilation -XX:TieredStopAtLevel=1" && shift ;;
190
+
188
191
-repl) main_class=$ReplMain && shift ;;
189
192
-compile) main_class=$CompilerMain && shift ;;
190
193
-run) main_class=$ReplMain && shift ;;
Original file line number Diff line number Diff line change @@ -68,7 +68,14 @@ object DottyBuild extends Build {
68
68
else
69
69
List ()
70
70
71
- agentOptions ::: travis_build ::: fullpath
71
+ val tuning =
72
+ if (sys.props.isDefinedAt(" Oshort" ))
73
+ // Optimize for short-running applications, see https://github.com/lampepfl/dotty/issues/222
74
+ List (" -XX:+TieredCompilation" , " -XX:TieredStopAtLevel=1" )
75
+ else
76
+ List ()
77
+
78
+ tuning ::: agentOptions ::: travis_build ::: fullpath
72
79
}
73
80
)
74
81
You can’t perform that action at this time.
0 commit comments