* linux-fork.h (detach_fork): Delete.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index ff9ff87..6cfa771 100644 (file)
--- 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 6942da3..5d924de 100644 (file)
--- 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;
-