equal
deleted
inserted
replaced
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)) |