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