--- a/src/Pure/Tools/build.scala Sat May 18 13:00:05 2013 +0200
+++ b/src/Pure/Tools/build.scala Sat May 18 13:04:10 2013 +0200
@@ -894,8 +894,7 @@
val rc = (0 /: results)({ case (rc1, (_, res)) => rc1 max res.rc })
if (rc != 0 && (verbose || !no_build)) {
val unfinished =
- (for ((name, res) <- results.iterator if res.rc != 0) yield name).toList
- .sorted(scala.math.Ordering.String) // FIXME scala-2.10.0-RC1
+ (for ((name, res) <- results.iterator if res.rc != 0) yield name).toList.sorted
progress.echo("Unfinished session(s): " + commas(unfinished))
}
rc