diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-12-13 10:26:21 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-12-13 10:26:21 +0000 |
commit | 346d5e7c9d81f4f97ac5e75552e8bd0b97d23398 (patch) | |
tree | 88f3ddf7bab2eace0ad34aeccf1a64c204f27603 /gcc/ada/expect.c | |
parent | cdb1c38ff3ef6b2a570594be1bffd8f0b52a99e2 (diff) | |
download | gcc-346d5e7c9d81f4f97ac5e75552e8bd0b97d23398.tar.gz |
2007-12-06 Pascal Obry <obry@adacore.com>
* expect.c (__gnat_kill) [WIN32]: Implement the SIGINT signal on
Windows. This signal is used by gnatmake to kill child processes for
example.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@130836 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/expect.c')
-rw-r--r-- | gcc/ada/expect.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/expect.c b/gcc/ada/expect.c index a9092328281..aa18a339481 100644 --- a/gcc/ada/expect.c +++ b/gcc/ada/expect.c @@ -93,6 +93,12 @@ __gnat_kill (int pid, int sig, int close) CloseHandle ((HANDLE)pid); } } + else if (sig == 2) + { + GenerateConsoleCtrlEvent (CTRL_C_EVENT, (HANDLE)pid); + if (close) + CloseHandle ((HANDLE)pid); + } } int |