diff options
Diffstat (limited to 'gdb/linux-fork.c')
| -rw-r--r-- | gdb/linux-fork.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/linux-fork.c b/gdb/linux-fork.c index bff807e3ab6..754500f0a66 100644 --- a/gdb/linux-fork.c +++ b/gdb/linux-fork.c @@ -387,7 +387,7 @@ linux_fork_mourn_inferior (void) the first available. */ void -linux_fork_detach (char *args, int from_tty) +linux_fork_detach (const char *args, int from_tty) { /* OK, inferior_ptid is the one we are detaching from. We need to delete it from the fork_list, and switch to the next available |