diff options
| -rw-r--r-- | gdb/ChangeLog | 4 | ||||
| -rw-r--r-- | gdb/linux-fork.h | 3 |
2 files changed, 4 insertions, 3 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index ff9ff8708a9..6cfa771cad5 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,7 @@ +2013-07-25 Doug Evans <dje@google.com> + + * linux-fork.h (detach_fork): Delete. + 2013-07-25 Tom Tromey <tromey@redhat.com> PR remote/15256, PR remote/15266: diff --git a/gdb/linux-fork.h b/gdb/linux-fork.h index 6942da3ffb5..5d924dec502 100644 --- a/gdb/linux-fork.h +++ b/gdb/linux-fork.h @@ -25,6 +25,3 @@ extern void linux_fork_mourn_inferior (void); extern void linux_fork_detach (char *, int); extern int forks_exist_p (void); extern int linux_fork_checkpointing_p (int); - -extern int detach_fork; - |