Re: Ctrl-C patch (Re: Savannah W32 patches... are any OK?

[Paul D. Smith]

%% Alessandro Vesely <address@hidden> writes:

  av> "Paul D. Smith" wrote:
  >> 
  >> >> https://savannah.gnu.org/patch/index.php?func=detailitem&item_id=3679

  av> I posted a patch doing `exit(EXIT_FAILURE)' rather than `kill
  av> (getpid(), sig)' to terminate the running program at the end of
  av> the signal handler.

OK, I applied this one.  Thanks.

-- 
-------------------------------------------------------------------------------
 Paul D. Smith <address@hidden>          Find some GNU make tips at:
 http://www.gnu.org                      http://make.paulandlesley.org
 "Please remain calm...I may be mad, but I am a professional." --Mad Scientist