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
