diff options
author | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-08-23 22:40:00 +0000 |
---|---|---|
committer | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-08-23 22:40:00 +0000 |
commit | 44df2a89932b19fd7f0abbb64f92a5991dcf0e64 (patch) | |
tree | 85f4757e0472112140b124b30bd0ea4470ae3da2 /gdb/remote.c | |
parent | dabbe5792c0dfb781339ad7d8f8b1c8c25cb8ec3 (diff) | |
download | gdb-44df2a89932b19fd7f0abbb64f92a5991dcf0e64.tar.gz |
import gdb-1999-08-23 snapshot
Diffstat (limited to 'gdb/remote.c')
-rw-r--r-- | gdb/remote.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/gdb/remote.c b/gdb/remote.c index 263e20b4c51..5c8ca61f9d4 100644 --- a/gdb/remote.c +++ b/gdb/remote.c @@ -100,6 +100,7 @@ static void remote_close PARAMS ((int quitting)); static void remote_store_registers PARAMS ((int regno)); static void remote_mourn PARAMS ((void)); +static void remote_async_mourn PARAMS ((void)); static void extended_remote_restart PARAMS ((void)); @@ -3794,6 +3795,12 @@ remote_mourn () } static void +remote_async_mourn () +{ + remote_mourn_1 (&remote_async_ops); +} + +static void extended_remote_mourn () { /* We do _not_ want to mourn the target like this; this will @@ -5068,7 +5075,7 @@ Specify the serial device it is connected to (e.g. /dev/ttya)."; remote_async_ops.to_remove_breakpoint = remote_remove_breakpoint; remote_async_ops.to_kill = remote_async_kill; remote_async_ops.to_load = generic_load; - remote_async_ops.to_mourn_inferior = remote_mourn; + remote_async_ops.to_mourn_inferior = remote_async_mourn; remote_async_ops.to_thread_alive = remote_thread_alive; remote_async_ops.to_find_new_threads = remote_threads_info; remote_async_ops.to_stop = remote_stop; |