Re: proposal: stop_at_err_count patch

[Martin d Anjou]

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