diff options
| author | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-05-25 18:09:09 +0000 |
|---|---|---|
| committer | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-05-25 18:09:09 +0000 |
| commit | eb557a121edaebd17d600c2558a17f4f6ad920bb (patch) | |
| tree | ee4d2394905f942faf968afe0a1f8acb0fc17435 /gdb/inftarg.c | |
| parent | 4cd099cd8595d11956e92bf2cab4f6d8f3fa3242 (diff) | |
| download | gdb-eb557a121edaebd17d600c2558a17f4f6ad920bb.tar.gz | |
import gdb-1999-05-25 snapshot
Diffstat (limited to 'gdb/inftarg.c')
| -rw-r--r-- | gdb/inftarg.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gdb/inftarg.c b/gdb/inftarg.c index 43c22481723..70d854125f4 100644 --- a/gdb/inftarg.c +++ b/gdb/inftarg.c @@ -804,11 +804,7 @@ child_has_exited (pid, wait_status, exit_status) static void child_mourn_inferior () { - /* FIXME: Should be in a header file */ - extern void proc_remove_foreign PARAMS ((int)); - unpush_target (&child_ops); - proc_remove_foreign (inferior_pid); generic_mourn_inferior (); } |