Re: GNUMAKEFLAGS vs MAKEFLAGS

2024-07-16 Thread Paul Smith
On Tue, 2024-07-16 at 20:56 +0200, Alejandro Colomar wrote: > > That is, this does what you expect: > > > >    $ GNUMAKEFLAGS=-Rr make -f Makefile > > But this would be quite insane, isn't it?  (Except during recursive > make(1), which is also insane in its own way.)  :-) Yes, very likely this w

Re: GNUMAKEFLAGS vs MAKEFLAGS

2024-07-16 Thread Alejandro Colomar
Hi Paul, On Tue, Jul 16, 2024 at 02:39:11PM GMT, Paul Smith wrote: > On Tue, 2024-07-16 at 20:27 +0200, Alejandro Colomar wrote: > > As discussed in a different thread, the docs claim that GNUMAKEFLAGS > > and > > MAKEFLAGS are treated in the same way. > > > > All else equal, since I'm using GNU-

Re: GNUMAKEFLAGS vs MAKEFLAGS

2024-07-16 Thread Paul Smith
On Tue, 2024-07-16 at 20:27 +0200, Alejandro Colomar wrote: > As discussed in a different thread, the docs claim that GNUMAKEFLAGS > and > MAKEFLAGS are treated in the same way. > > All else equal, since I'm using GNU-specific flags, I think I should > be > using GNUMAKEFLAGS. > > However, Paul s