src/Pure/System/build.scala
changeset 49951 119440fe1d5c
parent 49696 3003c87f7814
child 50203 00d8ad713e32
--- a/src/Pure/System/build.scala	Sat Oct 20 10:00:21 2012 +0200
+++ b/src/Pure/System/build.scala	Sat Oct 20 12:00:48 2012 +0200
@@ -690,7 +690,8 @@
     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
+        (for ((name, res) <- results.iterator if res.rc != 0) yield name).toList
+          .sorted(scala.math.Ordering.String)  // FIXME scala-2.10.0-RC1
       echo("Unfinished session(s): " + commas(unfinished))
     }
     rc