diff options
Diffstat (limited to 'gdb/linux-fork.c')
-rw-r--r-- | gdb/linux-fork.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/linux-fork.c b/gdb/linux-fork.c index 6b9c6a8..554cfae 100644 --- a/gdb/linux-fork.c +++ b/gdb/linux-fork.c @@ -503,7 +503,7 @@ out: /* Fork list <-> user interface. */ static void -delete_checkpoint_command (char *args, int from_tty) +delete_checkpoint_command (const char *args, int from_tty) { ptid_t ptid, pptid; struct fork_info *fi; @@ -544,7 +544,7 @@ Please switch to another checkpoint before deleting the current one")); } static void -detach_checkpoint_command (char *args, int from_tty) +detach_checkpoint_command (const char *args, int from_tty) { ptid_t ptid; |