Hello,The patch I posted earlier is poorly formatted, so I am trying an attachment instead.
After talking with Alfred (ams on #gnu), we decided to revert the feature name back to the keep_going_count, because "it keeps the count of how many times it has gone through an error". And after this count, GNU Make exits.
There is one outstanding problem, the children processes left are not killed by GNU make when it exits and I don't know how to fix that yet.
Any help or advice would be welcome! Martin
keep_going_count.patch.gz
Description: Binary data
_______________________________________________ Bug-make mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-make
