# HG changeset patch
# User wenzelm
# Date 1350727248 -7200
# Node ID 119440fe1d5c6b33a94bbe48f1cc16a983ef972f
# Parent  cd882d53ba6b4f9df70395079f732cc12f05eec9
accomodate scala-2.10.0-RC1;

diff -r cd882d53ba6b -r 119440fe1d5c src/Pure/System/build.scala
--- 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