# 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