diff options
Diffstat (limited to 'gdb/inf-child.c')
| -rw-r--r-- | gdb/inf-child.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/inf-child.c b/gdb/inf-child.c index a9bb8d2..4833094 100644 --- a/gdb/inf-child.c +++ b/gdb/inf-child.c @@ -206,7 +206,7 @@ inf_child_target::mourn_inferior () void inf_child_target::maybe_unpush_target () { - if (!inf_child_explicitly_opened && !have_inferiors ()) + if (!inf_child_explicitly_opened) unpush_target (this); } |