diff options
| author | Martin Odersky <odersky@gmail.com> | 2006-01-07 18:55:52 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2006-01-07 18:55:52 +0000 |
| commit | 5d4d8b21cec21fe23490e66182a9b4890e15a9d1 (patch) | |
| tree | 08ae4bea839be06376d87f559502fb7324096af2 /src/compiler/scala/tools/nsc/Settings.scala | |
| parent | e30e2a33045b88afbaef190b94a692105d813aa0 (diff) | |
| download | scala-5d4d8b21cec21fe23490e66182a9b4890e15a9d1.tar.gz scala-5d4d8b21cec21fe23490e66182a9b4890e15a9d1.tar.bz2 scala-5d4d8b21cec21fe23490e66182a9b4890e15a9d1.zip | |
Diffstat (limited to 'src/compiler/scala/tools/nsc/Settings.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/Settings.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/Settings.scala b/src/compiler/scala/tools/nsc/Settings.scala index 9cb74fd726..f7c58d7749 100644 --- a/src/compiler/scala/tools/nsc/Settings.scala +++ b/src/compiler/scala/tools/nsc/Settings.scala @@ -61,8 +61,8 @@ class Settings(error: String => unit) { val extdirs = StringSetting ("-extdirs", "dirs", "Override location of installed extensions", extdirsDefault) val outdir = StringSetting ("-d", "directory", "Specify where to place generated class files", "") val encoding = StringSetting ("-encoding", "encoding", "Specify character encoding used by source files", "ISO-8859-1") - val separate = ChoiceSetting ("-separate", "Read symbol files for separate compilation", List("yes","no"), "default") val target = ChoiceSetting ("-target", "Specify which backend to use", List("jvm", "msil"), "jvm") + val migrate = BooleanSetting("-migrate", "Assist in migrating from Scala version 1.0") val debug = BooleanSetting("-debug", "Output debugging messages") val statistics = BooleanSetting("-statistics", "Print compiler statistics") val explaintypes = BooleanSetting("-explaintypes", "Explain type errors in more detail") |