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 7a6b9a9d59d..49ed2c71623 100644 --- a/gdb/remote-rdi.c +++ b/gdb/remote-rdi.c @@ -426,6 +426,7 @@ arm_rdi_close (quitting) } closed_already = 1; inferior_pid = 0; + Adp_CloseDevice (); } } |