This actually works fine in GNU make too. The parent make acts as a job server. ...

		opk on March 5, 2016 \| parent \| context \| favorite \| on: What's in a Build Tool? This actually works fine in GNU make too. The parent make acts as a job server. The implementation is ingenious, see http://make.mad-scientist.net/papers/jobserver-implementatio...