Re: gnu make patch

[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 N failures,
> quite useful if you want are running a build robot, or similar.

I find calling it "keep_going_count" confusing, hence I would suggest 
"abort_at_err_count", because it would be more descriptive of what it is 
meant to do: abort the build process when the number targets that could 
not be built reaches a certain count.

Cheers,
Martin