-
Guido Trotter authored
Rather than adding the jobs to the worker pool one at a time, we add them all together, which is slightly faster, and ensures they don't get started while we loop. Signed-off-by: Guido Trotter <ultrotter@google.com> Reviewed-by: Michael Hanselmann <hansmi@google.com>
7beb1e53