And don't forget that many clever things can be done with --exec, e.g. "--exec .NOTPARALLEL:". But -j1 seems simpler in this case.
On Wed, Jan 23, 2019 at 8:51 AM Paul Smith <psm...@gnu.org> wrote: > 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 > _______________________________________________ Help-make mailing list Help-make@gnu.org https://lists.gnu.org/mailman/listinfo/help-make
