Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/build.scala
changeset 48552 b1819875b76a
parent 48549 cc7990d6eb38
child 48579 0b95a13ed90a 
--- 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
isabelle