diff options
Diffstat (limited to 'gdb/inf-child.c')
| -rw-r--r-- | gdb/inf-child.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gdb/inf-child.c b/gdb/inf-child.c index a3c4fe4..dbadde8 100644 --- a/gdb/inf-child.c +++ b/gdb/inf-child.c @@ -159,6 +159,13 @@ inf_child_close (struct target_ops *target) inf_child_explicitly_opened = 0; } +void +inf_child_mourn_inferior (struct target_ops *ops) +{ + generic_mourn_inferior (); + inf_child_maybe_unpush_target (ops); +} + /* See inf-child.h. */ void |