diff options
-rw-r--r-- | gdb/infttrace.c | 13 |
1 files changed, 2 insertions, 11 deletions
diff --git a/gdb/infttrace.c b/gdb/infttrace.c index 00cdda2..a920ead 100644 --- a/gdb/infttrace.c +++ b/gdb/infttrace.c @@ -3853,27 +3853,18 @@ kill_inferior (void) if (t->am_pseudo && (t->pid != PIDGET (inferior_ptid))) { - /* TT_PROC_STOP doesn't require a subsequent ttrace_wait, as it - * generates no event. - */ - call_ttrace (TT_PROC_STOP, + call_ttrace (TT_PROC_EXIT, t->pid, TT_NIL, TT_NIL, TT_NIL); - - call_ttrace (TT_PROC_DETACH, - t->pid, - TT_NIL, - (TTRACE_ARG_TYPE) TARGET_SIGNAL_0, - TT_NIL); } t = t->next; } xfree (paranoia); - call_ttrace (TT_PROC_STOP, + call_ttrace (TT_PROC_EXIT, PIDGET (inferior_ptid), TT_NIL, TT_NIL, |