diff options
| author | Edmund Noble <edmundnoble@gmail.com> | 2016-07-06 17:35:37 -0400 |
|---|---|---|
| committer | Edmund Noble <edmundnoble@gmail.com> | 2016-07-06 17:35:37 -0400 |
| commit | a1499c85fdcbeb4c923062673960376e4674c18f (patch) | |
| tree | e77d056e2423250e38cdb8db600bb60672baf86e /src/dotty/tools/dotc/config/ScalaSettings.scala | |
| parent | e82087a085366a15384c4cdbd23e25b4b24e485a (diff) | |
| download | dotty-a1499c85fdcbeb4c923062673960376e4674c18f.tar.gz dotty-a1499c85fdcbeb4c923062673960376e4674c18f.tar.bz2 dotty-a1499c85fdcbeb4c923062673960376e4674c18f.zip | |
Remove print option from ScalaSettings
Diffstat (limited to 'src/dotty/tools/dotc/config/ScalaSettings.scala')
| -rw-r--r-- | src/dotty/tools/dotc/config/ScalaSettings.scala | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/config/ScalaSettings.scala b/src/dotty/tools/dotc/config/ScalaSettings.scala index 74ff76444..bf56a486e 100644 --- a/src/dotty/tools/dotc/config/ScalaSettings.scala +++ b/src/dotty/tools/dotc/config/ScalaSettings.scala @@ -27,7 +27,6 @@ class ScalaSettings extends Settings.SettingGroup { val g = ChoiceSetting("-g", "level", "Set level of generated debugging info.", List("none", "source", "line", "vars", "notailcalls"), "vars") val help = BooleanSetting("-help", "Print a synopsis of standard options") val nowarn = BooleanSetting("-nowarn", "Generate no warnings.") - val print = BooleanSetting("-print", "Print program with Scala-specific features removed.") val color = ChoiceSetting("-color", "mode", "Colored output", List("always", "never"/*, "auto"*/), "always"/* "auto"*/) val target = ChoiceSetting("-target", "target", "Target platform for object files. All JVM 1.5 targets are deprecated.", List("jvm-1.5", "jvm-1.5-fjbg", "jvm-1.5-asm", "jvm-1.6", "jvm-1.7", "jvm-1.8", "msil"), |