From 6107e80937c951612cba3b702fae5a255539a824 Mon Sep 17 00:00:00 2001
From: Doug Evans <dje@google.com>
Date: Thu, 25 Jul 2013 20:53:07 +0000
Subject: [PATCH] 	* linux-fork.h (detach_fork): Delete.

---
 gdb/ChangeLog    | 4 ++++
 gdb/linux-fork.h | 3 ---
 2 files changed, 4 insertions(+), 3 deletions(-)

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