mika/jenkins-debian-glue — pull request #104 by zeha (2014-06-04 00:39:40+00:00)
Title: tap_tool_dispatcher: run all tools in parallel

Running the different *_tap tools in parallel allows for significant
speedups on our build server; a job with ~440 files took 1min35s
previously, and now takes < 30s to complete.