accomodate scala-2.10.0-RC1;
authorwenzelm
Sat Oct 20 12:00:48 2012 +0200 (2012-10-20)
changeset 49951119440fe1d5c
parent 49950 cd882d53ba6b
child 49952 6770da31efd8
accomodate scala-2.10.0-RC1;
src/Pure/System/build.scala
     1.1 --- a/src/Pure/System/build.scala	Sat Oct 20 10:00:21 2012 +0200
     1.2 +++ b/src/Pure/System/build.scala	Sat Oct 20 12:00:48 2012 +0200
     1.3 @@ -690,7 +690,8 @@
     1.4      val rc = (0 /: results)({ case (rc1, (_, res)) => rc1 max res.rc })
     1.5      if (rc != 0 && (verbose || !no_build)) {
     1.6        val unfinished =
     1.7 -        (for ((name, res) <- results.iterator if res.rc != 0) yield name).toList.sorted
     1.8 +        (for ((name, res) <- results.iterator if res.rc != 0) yield name).toList
     1.9 +          .sorted(scala.math.Ordering.String)  // FIXME scala-2.10.0-RC1
    1.10        echo("Unfinished session(s): " + commas(unfinished))
    1.11      }
    1.12      rc