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/