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 Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make