src/Pure/System/build.scala
changeset 48471 9d5ce7f1002d
parent 48469 826a771cff33
child 48473 8f10b1f6c992
equal deleted inserted replaced
48470:7483aa690b4f 48471:9d5ce7f1002d
   449         loop(pending - name, running - name, results + (name -> rc))
   449         loop(pending - name, running - name, results + (name -> rc))
   450       }
   450       }
   451       else if (running.size < (max_jobs max 1)) {
   451       else if (running.size < (max_jobs max 1)) {
   452         pending.dequeue(running.isDefinedAt(_)) match {
   452         pending.dequeue(running.isDefinedAt(_)) match {
   453           case Some((name, info)) =>
   453           case Some((name, info)) =>
   454             if (no_build && verbose) {
   454             if (no_build) {
   455               echo(name + " in " + info.dir)
   455               if (verbose) echo(name + " in " + info.dir)
   456               loop(pending - name, running, results + (name -> 0))
   456               loop(pending - name, running, results + (name -> 0))
   457             }
   457             }
   458             else if (info.parent.map(results(_)).forall(_ == 0)) {
   458             else if (info.parent.map(results(_)).forall(_ == 0)) {
   459               val output =
   459               val output =
   460                 if (build_images || queue.is_inner(name))
   460                 if (build_images || queue.is_inner(name))