diff options
author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-09-14 18:59:38 +0200 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-09-14 18:59:38 +0200 |
commit | be092f2099b239c99a0a774582f96ddea4fc9cef (patch) | |
tree | 13d855e4ca1a664fd018a3a88b3c840e97be2d7d /bin | |
parent | e7ef08da8a699bdb96d0469c2a76c65709c29324 (diff) | |
download | dotty-be092f2099b239c99a0a774582f96ddea4fc9cef.tar.gz dotty-be092f2099b239c99a0a774582f96ddea4fc9cef.tar.bz2 dotty-be092f2099b239c99a0a774582f96ddea4fc9cef.zip |
bin/dotc: add an option to run -tasty.
@vladimirNik, should simplify your life
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/dotc | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -36,6 +36,7 @@ unset verbose quiet cygwin toolcp colors saved_stty CDPATH CompilerMain=dotty.tools.dotc.Main +FromTasty=dotty.tools.dotc.FromTasty ReplMain=test.DottyRepl @@ -238,8 +239,8 @@ case "$1" in # 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 ;; + -tasty) main_class=$FromTasty && shift ;; -compile) main_class=$CompilerMain && shift ;; -run) main_class=$ReplMain && shift ;; -fsc) main_class=$FscMain && shift ;; |