diff options
| author | Jim Kingdon <jkingdon@engr.sgi.com> | 1993-04-28 15:33:20 +0000 |
|---|---|---|
| committer | Jim Kingdon <jkingdon@engr.sgi.com> | 1993-04-28 15:33:20 +0000 |
| commit | 71607f9d62c125cdd1770ff7f8f07024bfa94410 (patch) | |
| tree | fbdff93585765f04464e3214f58d16fe8842a76c /gdb/remote-nindy.c | |
| parent | e82980e4ec5a5d241020d0908d537b6580501e30 (diff) | |
| download | gdb-71607f9d62c125cdd1770ff7f8f07024bfa94410.zip gdb-71607f9d62c125cdd1770ff7f8f07024bfa94410.tar.gz gdb-71607f9d62c125cdd1770ff7f8f07024bfa94410.tar.bz2 | |
* Remote targets (mourn): Call unpush_target.
Diffstat (limited to 'gdb/remote-nindy.c')
| -rw-r--r-- | gdb/remote-nindy.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/remote-nindy.c b/gdb/remote-nindy.c index 91b98ad..1dda7af 100644 --- a/gdb/remote-nindy.c +++ b/gdb/remote-nindy.c @@ -885,6 +885,7 @@ void nindy_mourn_inferior () { remove_breakpoints (); + unpush_target (&nindy_ops); generic_mourn_inferior (); /* Do all the proper things now */ } |