diff options
author | Paul Phillips <paulp@improving.org> | 2009-10-25 19:00:29 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2009-10-25 19:00:29 +0000 |
commit | 2270544a9c416efab073cf70360098ff961f976a (patch) | |
tree | bd06b03ccf30e5d583f2351586302adc84b146e1 | |
parent | 765acb478956976a6e5ebd466200f9c4f5a0e90a (diff) | |
download | scala-2270544a9c416efab073cf70360098ff961f976a.tar.gz scala-2270544a9c416efab073cf70360098ff961f976a.tar.bz2 scala-2270544a9c416efab073cf70360098ff961f976a.zip |
Attempting to unbreak fsc (can't reproduce the ...
Attempting to unbreak fsc (can't reproduce the problem so can't be
entirely sure.)
-rw-r--r-- | src/compiler/scala/tools/ant/FastScalac.scala | 16 |
1 files changed, 9 insertions, 7 deletions
diff --git a/src/compiler/scala/tools/ant/FastScalac.scala b/src/compiler/scala/tools/ant/FastScalac.scala index 0317c91455..074cb42f67 100644 --- a/src/compiler/scala/tools/ant/FastScalac.scala +++ b/src/compiler/scala/tools/ant/FastScalac.scala @@ -77,23 +77,25 @@ class FastScalac extends Scalac { shutdown.value = shutdownServer val stringSettings = - List(s.outdir, s.classpath, s.bootclasspath, s.extdirs, s.encoding) map (x => "%s %s".format(x.name, x.value)) + List(s.outdir, s.classpath, s.bootclasspath, s.extdirs, s.encoding) flatMap (x => List(x.name, x.value)) val serverOption = - serverAddr.toList map ("-server " + _) // '-server' option + serverAddr.toList flatMap (x => List("-server", x)) // '-server' option val choiceSettings = List(s.debuginfo, s.target) map (x => "%s:%s".format(x.name, x.value)) val booleanSettings = - List(s.debug, s.deprecation, s.nopredefs, s.verbose, reset, shutdown) map (x => if (x.value) x.name else "") + List(s.debug, s.deprecation, s.nopredefs, s.verbose, reset, shutdown) map (x => if (x.value) List(x.name) else Nil) flatten - val phaseSetting = - List(settings.log) map (x => if (x.value.isEmpty) "" else "%s:%s".format(x.name, x.value)) + val phaseSetting = { + val s = settings.log + if (s.value.isEmpty) Nil + else List("%s:%s".format(s.name, s.value.mkString(","))) + } val cmdOptions = - List(stringSettings, serverOption, choiceSettings, booleanSettings, phaseSetting) . - flatten . filterNot (_.isEmpty) + stringSettings ::: serverOption ::: choiceSettings ::: booleanSettings ::: phaseSetting val args = (cmdOptions ::: (sourceFiles map (_.toString))).toArray try { |