--- Begin Message ---
Subject: |
[patch #3679] Clean handling of CTRL-C events on Windows |
Date: |
Mon, 24 Jan 2005 15:30:08 +0000 |
User-agent: |
Mozilla/5.0 (Windows NT 5.0; U) Opera 7.54 [it] |
URL:
<http://savannah.gnu.org/patch/?func=detailitem&item_id=3679>
Summary: Clean handling of CTRL-C events on Windows
Project: make
Submitted by: None
Submitted on: lun 24/01/2005 presso 15:30
Category: None
Priority: 5 - Normal
Status: None
Privacy: Public
Assigned to: None
Originator Email: address@hidden
Open/Closed: Open
Fixed Release: None
_______________________________________________________
Details:
CTRL-C on Windows causes make to crash. This was because of the wrong
implementation of w32_kill, dereferencing a pid as a pointer. The attached
patch (targetting mingw32-make-3.80.0-3) fixes it
_______________________________________________________
File Attachments:
-------------------------------------------------------
Date: lun 24/01/2005 presso 15:30 Name: mingw32-make-3.80.0-3-w32ctrlc.patch
Size: 433B By: None
The patch
<http://savannah.gnu.org/patch/download.php?item_id=3679&item_file_id=4087>
_______________________________________________________
This item URL is:
<http://savannah.gnu.org/patch/?func=detailitem&item_id=3679>
_______________________________________________
Messaggio inviato via Savannah
http://savannah.gnu.org/
--- End Message ---