diff options
| author | Sean McDirmid <sean.mcdirmid@gmail.com> | 2007-12-02 12:58:07 +0000 |
|---|---|---|
| committer | Sean McDirmid <sean.mcdirmid@gmail.com> | 2007-12-02 12:58:07 +0000 |
| commit | 6eacab84a957dab7e75cd87e0ecb85b2d0c69939 (patch) | |
| tree | 8b6b31f225ba3149006824dc3d3f44ce95b95440 /src/compiler | |
| parent | cde40bd9bd66666a76f51c5b8a73282abda68883 (diff) | |
| download | scala-6eacab84a957dab7e75cd87e0ecb85b2d0c69939.tar.gz scala-6eacab84a957dab7e75cd87e0ecb85b2d0c69939.tar.bz2 scala-6eacab84a957dab7e75cd87e0ecb85b2d0c69939.zip | |
* nuked noide
* allow command line to accept -target jvm15 in addition to
-target:jvm15 (and so on for everykind of combo option!)
Diffstat (limited to 'src/compiler')
| -rw-r--r-- | src/compiler/scala/tools/nsc/Settings.scala | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/Settings.scala b/src/compiler/scala/tools/nsc/Settings.scala index b827ef5ea5..d51c173149 100644 --- a/src/compiler/scala/tools/nsc/Settings.scala +++ b/src/compiler/scala/tools/nsc/Settings.scala @@ -88,7 +88,6 @@ class Settings(error: String => Unit) { val verbose = BooleanSetting ("-verbose", "Output messages about what the compiler is doing").hideToIDE val deprecation = BooleanSetting ("-deprecation", "Output source locations where deprecated APIs are used").hideToIDE val unchecked = BooleanSetting ("-unchecked", "Enable detailed unchecked warnings").hideToIDE - val noide = BooleanSetting ("-noide", "Do not generate class-source mappings that are used by the Scala IDE").hideToIDE val classpath = new StringSetting ("-classpath", "path", "Specify where to find user class files", classpathDefault) { override val abbreviation = "-cp" } val sourcepath = StringSetting ("-sourcepath", "path", "Specify where to find input source files", "") val bootclasspath = StringSetting ("-bootclasspath", "path", "Override location of bootstrap class files", bootclasspathDefault) |