diff options
| author | Hubert Plociniczak <hubert.plociniczak@epfl.ch> | 2010-04-10 20:56:07 +0000 |
|---|---|---|
| committer | Hubert Plociniczak <hubert.plociniczak@epfl.ch> | 2010-04-10 20:56:07 +0000 |
| commit | 1e6de3dcbe606ae6acae9146115ed8c93232bb8e (patch) | |
| tree | 46464f21163eec999df2e2be82524a02c0f3e5ff | |
| parent | e2decb09ed9cbfad6e1c61b68e24423620d01ff3 (diff) | |
| download | scala-1e6de3dcbe606ae6acae9146115ed8c93232bb8e.tar.gz scala-1e6de3dcbe606ae6acae9146115ed8c93232bb8e.tar.bz2 scala-1e6de3dcbe606ae6acae9146115ed8c93232bb8e.zip | |
Fix windows build.
| -rw-r--r-- | src/compiler/scala/tools/nsc/interactive/RefinedBuildManager.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/interactive/RefinedBuildManager.scala b/src/compiler/scala/tools/nsc/interactive/RefinedBuildManager.scala index 3f59824ec2..52135ebcd6 100644 --- a/src/compiler/scala/tools/nsc/interactive/RefinedBuildManager.scala +++ b/src/compiler/scala/tools/nsc/interactive/RefinedBuildManager.scala @@ -112,7 +112,8 @@ class RefinedBuildManager(val settings: Settings) extends Changes with BuildMana // For testing purposes only, order irrelevant for compilation def toStringSet(set: Set[AbstractFile]): String = { - val s = set.toList sortBy (_.name) + val s = set.toList sortBy (_.name) map + (_.toString.replaceAll(java.util.regex.Matcher.quoteReplacement("\\"), "/")) s.mkString("Set(", ", ", ")") } |