1.1 --- a/src/Pure/System/build.scala Tue Jul 24 12:54:34 2012 +0200
1.2 +++ b/src/Pure/System/build.scala Tue Jul 24 13:11:50 2012 +0200
1.3 @@ -474,7 +474,13 @@
1.4 else { sleep(); loop(pending, running, results) }
1.5 }
1.6
1.7 - (0 /: loop(queue, Map.empty, Map.empty))({ case (rc1, (_, rc2)) => rc1 max rc2 })
1.8 + val results = loop(queue, Map.empty, Map.empty)
1.9 + val rc = (0 /: results)({ case (rc1, (_, rc2)) => rc1 max rc2 })
1.10 + if (rc != 0) {
1.11 + val unfinished = (for ((name, r) <- results.iterator if r != 0) yield name).toList.sorted
1.12 + echo("Unfinished session(s): " + commas(unfinished))
1.13 + }
1.14 + rc
1.15 }
1.16
1.17