Follow-up Comment #3, bug #54854 (group make):
If by "a warning (or a note)" you mean something printed by GNU Make, instead
of content in the documentation (this is already described there) then no, we
can't do that, because this behavior has many uses, and is used in many
situations and in many thousands of makefiles. Generating messages would not
be appropriate.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?54854>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
