Re: gnu make patch

2009-01-14 Thread Alfred M. Szmidt
Hey Martin, sorry for the delay when it came to posting this patch. Here is a small patch that adds a new option to make that causes make to abort after N failures. Martin suggest that -k should take an extra argument where the user can tell make to abort after N failures, quite useful if you wa

Re: gnu make patch

2009-01-14 Thread Martin d Anjou
Hey Martin, sorry for the delay when it came to posting this patch. No problem Alfred, and thanks! Here is a small patch that adds a new option to make that causes make to abort after N failures. Martin suggest that -k should take an extra argument where the user can tell make to abort after