# HG changeset patch
# User wenzelm
# Date 1343396268 -7200
# Node ID b1819875b76abec577dbcaf855dc65df4b3a6574
# Parent  1f20dfc220009d9a3d6bdfb4ad80a0f17c6617c3
actually check return code;

diff -r 1f20dfc22000 -r b1819875b76a src/Pure/System/build.scala
--- a/src/Pure/System/build.scala	Fri Jul 27 15:37:28 2012 +0200
+++ b/src/Pure/System/build.scala	Fri Jul 27 15:37:48 2012 +0200
@@ -542,7 +542,8 @@
     val results = loop(queue, Map.empty, Map.empty)
     val rc = (0 /: results)({ case (rc1, (_, (_, rc2))) => rc1 max rc2 })
     if (rc != 0 && (verbose || !no_build)) {
-      val unfinished = (for ((name, r) <- results.iterator if r != 0) yield name).toList.sorted
+      val unfinished =
+        (for ((name, (_, r)) <- results.iterator if r != 0) yield name).toList.sorted
       echo("Unfinished session(s): " + commas(unfinished))
     }
     rc