From 6eacab84a957dab7e75cd87e0ecb85b2d0c69939 Mon Sep 17 00:00:00 2001 From: Sean McDirmid Date: Sun, 2 Dec 2007 12:58:07 +0000 Subject: * nuked noide * allow command line to accept -target jvm15 in addition to -target:jvm15 (and so on for everykind of combo option!) --- src/compiler/scala/tools/nsc/Settings.scala | 1 - 1 file changed, 1 deletion(-) 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) -- cgit v1.2.3