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

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index ff9ff8708a94cba10bc9d447322db3574485d495..6cfa771cad540daace501c8882d39b2c110357a3 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 6942da3ffb552579b577c895f55416c55b43985c..5d924dec5026777cf10d57ed4b636d34676ec32f 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;
-