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/Tools/build.scala
changeset 60215 5fb4990dfc73
parent 60106 e0d1d9203275
child 60958 5d70b5c509f8 
--- a/src/Pure/Tools/build.scala	Fri May 01 15:33:43 2015 +0200
+++ b/src/Pure/Tools/build.scala	Sun May 03 00:01:10 2015 +0200
@@ -908,7 +908,7 @@
             loop(pending - name, running - name,
               results + (name -> Result(false, heap, res.rc)))
             //}}}
-          case None if (running.size < (max_jobs max 1)) =>
+          case None if running.size < (max_jobs max 1) =>
             //{{{ check/start next job
             pending.dequeue(running.isDefinedAt(_)) match {
               case Some((name, info)) =>
isabelle