On Mon, Jul 17, 2023 at 5:45 AM Bruno Haible <br...@clisp.org> wrote:
> And finally, MAKEFLAGS is not even mentioned in the main index of the GNU Make
> documentation [5], and only regarding "recursion" in the Variables index [6].

5.7.3 contains

"The MAKEFLAGS variable can also be useful if you want to have certain
options, such as ‘-k’ (see Summary of Options), set each time you run
make. You simply put a value for MAKEFLAGS in your environment. You
can also set MAKEFLAGS in a makefile, to specify additional flags that
should also be in effect for that makefile. "

regards, Dmitry

Reply via email to