Re: filtering job options from MAKEFLAGS, manually

[Paul Smith]

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.