Should improve startup time of make in the testsuite, and it is simpler.
Attach a file by drag & drop or click to upload