Follow-up Comment #6, bug #63439 (project make):
I think it depends a little bit on what you think the goal of the option is.
I think that the goal should be to warn when users make use of non-standard
variables that are not defined. That is, it's there to catch various typos
etc.
If that's the correct definition then it seems that any variable mentioned as
any sort of default or official variable in the GNU make manual, should never
be reported as undefined.
The problem is that to make that true the simplest way possible, we'd need to
simply define all these variables as o_default which would then change the
results of running $(origin XXX) for that variable XXX.
I don't know if that matters, or not.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63439>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
