A pre-built version of GNU make 4.x is provided here because or main tool vendors still ship the
old 3.8x version. On Windows, GNU make 4.0 was the first version to include Job Server support.
This feature is renowned on Unix, but only emerged on Windows in 2013. With the Job Server, GNU
Make can parallelize builds in a very effective and controlled manner, even if the Makefile
requires a multiple instances of GNU make to be executed.

In other words, with GNU Make 3.x, your build will be slower on Windows.

In an ideal world, our tool vendors would ship GNU make 4.x and this lame text file would cease
to exist.
