On Wed, 2019-01-23 at 11:24 +0100, Laszlo Ersek wrote: > Would it be safe / robust to filter out "-j" and "--jobserver-fds=3,4" > as well, manually? (E.g. by sticking a shell script between the outer > and inner make processes.)
Why not simply add "-j1" explicitly to the inner-make invocation? That will disable the job server. > In particular, "--jobserver-fds" is not documented in end-user > documentation, apparently, so I get a feeling this option could > change at any time, as an implementation detail of distributing jobs. In fact it DID change, in GNU make 4.2, to be --jobserver-auth. At the same time this new option was published in the documentation and made an official part of the GNU make interface. _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make
