Update of bug #18995 (project make): Item Group: None => Enhancement Operating System: None => Any
_______________________________________________________ Follow-up Comment #1: Internally to make, an "undefined" origin means that the variable is not known to make (when make looks it up in its internal tables, nothing is found). Obviously, once you export or unexport a variable, it has to be added to make's internal tables so make can remember that you marked it as exported or unexported... so then it's no longer undefined. I can understand your point, however. I've marked this as an enhancement request. It shouldn't be too difficult to implement: a new origin value for undefined would need to be added, which is easy... but then all the places the origin is used would need to be examined to determine if or how they should react when a variable in this new state is found. This would also allow us to create a way to "undefine" a variable; currently once a variable is defined it can never go back to the undefined state again. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?18995> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org http://lists.gnu.org/mailman/listinfo/bug-make