Add make version 4.3 to speedup parallel build

Hi,

as pointed out at the first ClangBuiltLinux Meetup in Zurich I suggest to try make version 4.3 to check if we see some speedups in parallel builds.

The official release announcement [1] and a review in German [2] is added.

While dealing with GNU make I fell over this commit (“pipe: use exclusive waits when reading or writing”) in Linus tree [3] which reports to speedup parallel-make-jobs when building a Linux-kernel significantly.

Speaking for the Debian side there is 'make (4.2.1-1.2)` in buster/testing/unstable available.

[1] https://lists.gnu.org/archive/html/info-gnu/2020-01/msg00004.html [2] https://www.heise.de/developer/meldung/Build-Tool-GNU-Make-4-3-verbessert-die-Performance-4641700.html [3] https://git.kernel.org/linus/0ddad21d3e99c743a3aa473121dc5561679e26bb

[nathanchance]

I think this is an exercise best left up to the user. We only use make when doing kernel builds which only happens when using --pgo, so I would argue it probably won’t be that big of a difference. I can try to write a hyperfine benchmark that evaluates make 4.2.1 versus 4.3 and see what kind of difference it makes but I think building make as a part of the script is out of scope.

[dileks]

My observation on Debian/testing AMD64 were similiar: No big differences in build-time between Debian’s make v4.2.1 and v4.3.