Update of bug #47399 (project make):
Item Group: Bug => Enhancement
Status: Not A Bug => None
_______________________________________________________
Follow-up Comment #2:
Actually I'm going to reopen this as an enhancement.
One thing GNU make could do would be, if some makefile cannot be included and
cannot be built, if any makefile has already been built then rather than
failing we'll try to re-exec.
I think this shouldn't be a backward-incompatibility.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?47399>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-make
