diff options
author | Jason Merrill <jason@redhat.com> | 2015-11-14 00:11:34 +0000 |
---|---|---|
committer | Jason Merrill <jason@redhat.com> | 2015-11-14 00:11:34 +0000 |
commit | 1da6b773e737548a7ffbfc950774460433ef9bb8 (patch) | |
tree | e5f2d64459601fae812cfe90245af2831eebedb1 /gcc/ada/adaint.c | |
parent | 4587dbe905c7599512c23af5b55591a06bf829b9 (diff) | |
parent | d77055b11cf7e121d66f2da7dfbc5f63347c7d7f (diff) |
Merge trunk@230365.c++-delayed-folding
git-svn-id: https://gcc.gnu.org/svn/gcc/branches/c++-delayed-folding@230367 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/adaint.c')
-rw-r--r-- | gcc/ada/adaint.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/adaint.c b/gcc/ada/adaint.c index 5fef49cc4c0..1c6d323f0e7 100644 --- a/gcc/ada/adaint.c +++ b/gcc/ada/adaint.c @@ -3200,8 +3200,7 @@ __gnat_kill (int pid, int sig, int close ATTRIBUTE_UNUSED) return; if (sig == 9) { - TerminateProcess (h, 0); - __gnat_win32_remove_handle (NULL, pid); + TerminateProcess (h, 1); } else if (sig == SIGINT) GenerateConsoleCtrlEvent (CTRL_C_EVENT, pid); |