On Mon, Jul 17, 2023 at 5:45 AM Bruno Haible 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
On Mon, Jul 17, 2023 at 10:47 AM David Boyce wrote:
>
> Everything else aside, there's a profound difference between MAKEFLAGS=-r and
> MAKEFLAGS+=-r. The latter is far less destabilizing.
In a relatively fresh make (make-4.0 or later) setting MAKEFLAGS=-r in
the makefile takes effect and other
On Mon, Jul 17, 2023 at 2:41 PM Alejandro Colomar
wrote:
> MAKEFLAGS += --no-builtin-variables
If your makefiles are supposed to work on systems other than linux
(still with gnu make), then you may need built-in variables.
These variables contain different values on different systems.
e.g.
On Mon, Jul 17, 2023 at 5:45 AM Bruno Haible wrote:
> So I wondered whether I should add this variable definition in the Makefile.am
files of my GNU packages.
i think, that would be good.
> "you should be sure not to include any options that will drastically
>affect the actions of make"
On Sun, Jul 16, 2023 at 4:59 PM Alejandro Colomar wrote:
> I'm still interested in globstar support, though. It would make that
> line shorter and more robust. Maybe you could add an option
> --glob=globstar or similar to enable support.
gmake does not keep its own impl of glob. It uses a
