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