diff options
Diffstat (limited to 'gdb/cli/cli-cmds.c')
| -rw-r--r-- | gdb/cli/cli-cmds.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gdb/cli/cli-cmds.c b/gdb/cli/cli-cmds.c index 33f8d4b..4833898 100644 --- a/gdb/cli/cli-cmds.c +++ b/gdb/cli/cli-cmds.c @@ -37,6 +37,7 @@ #include "objfiles.h" #include "source.h" #include "disasm.h" +extern void disconnect_or_stop_tracing (int from_tty); #include "ui-out.h" @@ -317,6 +318,9 @@ quit_command (char *args, int from_tty) { if (!quit_confirm ()) error (_("Not confirmed.")); + + disconnect_or_stop_tracing (from_tty); + quit_force (args, from_tty); } |