Hi Bruce,

2017-01-24, Bruce Richardson:

what are the differences in the patches like when doing a build rather
than just a config? If the build is minutes long because of slow IO,
is the extra 10 seconds really going to make that much of a difference?

I agree there is no significant difference in total build time (config 
included) when using -j8 (about ~15s). And I understand your concern 
about the complexity of the patch in the second solution.

But the way dependencies are computed is overly complex and I feel that 
parallelizing is just hiding dust under the carpet. The result after the 
second solution is cleaner (to me): we get rid of an obscure shell 
script and we stop piping make output to files thus restoring the 
possibility to use make -d to debug problems.

And while the goal is to reduce the config time, why not go all the 
way?

-- 
Robin