src/Pure/System/build.scala
changeset 49951 119440fe1d5c
parent 49696 3003c87f7814
child 50203 00d8ad713e32
equal deleted inserted replaced
49950:cd882d53ba6b 49951:119440fe1d5c
   688       else loop(queue, Map.empty, Map.empty)
   688       else loop(queue, Map.empty, Map.empty)
   689 
   689 
   690     val rc = (0 /: results)({ case (rc1, (_, res)) => rc1 max res.rc })
   690     val rc = (0 /: results)({ case (rc1, (_, res)) => rc1 max res.rc })
   691     if (rc != 0 && (verbose || !no_build)) {
   691     if (rc != 0 && (verbose || !no_build)) {
   692       val unfinished =
   692       val unfinished =
   693         (for ((name, res) <- results.iterator if res.rc != 0) yield name).toList.sorted
   693         (for ((name, res) <- results.iterator if res.rc != 0) yield name).toList
       
   694           .sorted(scala.math.Ordering.String)  // FIXME scala-2.10.0-RC1
   694       echo("Unfinished session(s): " + commas(unfinished))
   695       echo("Unfinished session(s): " + commas(unfinished))
   695     }
   696     }
   696     rc
   697     rc
   697   }
   698   }
   698 
   699