diff options
-rw-r--r-- | gdb/ChangeLog | 4 | ||||
-rw-r--r-- | gdb/infcmd.c | 14 |
2 files changed, 4 insertions, 14 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index ff1bc14..3b5f9aa 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,5 +1,9 @@ 2020-01-10 Pedro Alves <palves@redhat.com> + * infcmd.c (kill_command): Remove dead code. + +2020-01-10 Pedro Alves <palves@redhat.com> + * remote.c (remote_target::mourn_inferior): No longer check whether the target is running. diff --git a/gdb/infcmd.c b/gdb/infcmd.c index a1f9d4e..aea977f 100644 --- a/gdb/infcmd.c +++ b/gdb/infcmd.c @@ -2511,20 +2511,6 @@ kill_command (const char *arg, int from_tty) printf_unfiltered (_("[Inferior %d (%s) killed]\n"), infnum, pid_str.c_str ()); - /* If we still have other inferiors to debug, then don't mess with - with their threads. */ - if (!have_inferiors ()) - { - init_thread_list (); /* Destroy thread info. */ - - /* Killing off the inferior can leave us with a core file. If - so, print the state we are left in. */ - if (target_has_stack) - { - printf_filtered (_("In %s,\n"), target_longname); - print_stack_frame (get_selected_frame (NULL), 1, SRC_AND_LOC, 1); - } - } bfd_cache_close_all (); } |