diff options
Diffstat (limited to 'gdb/monitor.c')
| -rw-r--r-- | gdb/monitor.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/monitor.c b/gdb/monitor.c index 08153dd..0f5d8ca 100644 --- a/gdb/monitor.c +++ b/gdb/monitor.c @@ -875,7 +875,7 @@ monitor_close (void) when you want to detach and do something else with your gdb. */ static void -monitor_detach (struct target_ops *ops, char *args, int from_tty) +monitor_detach (struct target_ops *ops, const char *args, int from_tty) { unpush_target (ops); /* calls monitor_close to do the real work. */ if (from_tty) |