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

This commit is contained in:
Doug Evans 2013-07-25 20:53:07 +00:00
parent 1d2db237d8
commit 6107e80937
2 changed files with 4 additions and 3 deletions

View file

@ -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:

View file

@ -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;