aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/adaint.c
diff options
context:
space:
mode:
authorJason Merrill <jason@redhat.com>2015-11-14 00:11:34 +0000
committerJason Merrill <jason@redhat.com>2015-11-14 00:11:34 +0000
commit1da6b773e737548a7ffbfc950774460433ef9bb8 (patch)
treee5f2d64459601fae812cfe90245af2831eebedb1 /gcc/ada/adaint.c
parent4587dbe905c7599512c23af5b55591a06bf829b9 (diff)
parentd77055b11cf7e121d66f2da7dfbc5f63347c7d7f (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.c3
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);