diff options
Diffstat (limited to 'gdb/remote-rdi.c')
| -rw-r--r-- | gdb/remote-rdi.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/remote-rdi.c b/gdb/remote-rdi.c index b432515..eff85ad 100644 --- a/gdb/remote-rdi.c +++ b/gdb/remote-rdi.c @@ -462,6 +462,7 @@ arm_rdi_close (quitting) closed_already = 1; inferior_pid = 0; Adp_CloseDevice (); + generic_mourn_inferior (); } } |