diff options
| -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(", ", ", ")") } |