diff options
Diffstat (limited to 'gdb/cli')
| -rw-r--r-- | gdb/cli/cli-cmds.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/cli/cli-cmds.c b/gdb/cli/cli-cmds.c index ae0be7a..aaf0586 100644 --- a/gdb/cli/cli-cmds.c +++ b/gdb/cli/cli-cmds.c @@ -38,7 +38,7 @@ #include "objfiles.h" #include "source.h" #include "disasm.h" -extern void disconnect_or_stop_tracing (int from_tty); +#include "tracepoint.h" #include "ui-out.h" @@ -337,7 +337,7 @@ quit_command (char *args, int from_tty) if (!quit_confirm ()) error (_("Not confirmed.")); - disconnect_or_stop_tracing (from_tty); + disconnect_tracing (from_tty); quit_force (args, from_tty); } |