Hi Martin, On 1/28/22 02:42, Martin Dorey wrote: > That already seems to have been fixed: Hmm, it seems that the bug is only triggered if the option is passed in the Makefile itself with MAKEFLAGS+=...
I haven't tested make git HEAD, but I bet it's probably reproducible there too. See below. Thanks, Alex $ make --version GNU Make 4.3 Built for x86_64-pc-linux-gnu Copyright (C) 1988-2020 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. $ dpkg -l make | grep make ii make 4.3-4.1 amd64 utility for directing compilation $ cat Makefile MAKEFILE += --warn-undefined-variables .PHONY: a a: $(foo) $(info a) @: $ make a $ make --warn-undefined-variables Makefile:4: warning: undefined variable 'foo' a -- Alejandro Colomar Linux man-pages comaintainer; https://www.kernel.org/doc/man-pages/ http://www.alejandro-colomar.es/
