diff options
-rw-r--r-- | gdb/ChangeLog | 5 | ||||
-rw-r--r-- | gdb/inflow.c | 12 |
2 files changed, 7 insertions, 10 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index a0520701a12..277d654b3ff 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2008-10-07 Hui Zhu <teawater@gmail.com> + + * inflow.c (kill_command): Remove query special for + process record. + 2008-10-07 Michael Snyder <msnyder@vmware.com> * target.h (to_set_exec_direction, to_get_exec_direction): Remove. diff --git a/gdb/inflow.c b/gdb/inflow.c index a3978197adb..d9fa21c8048 100644 --- a/gdb/inflow.c +++ b/gdb/inflow.c @@ -596,16 +596,8 @@ kill_command (char *arg, int from_tty) if (ptid_equal (inferior_ptid, null_ptid)) error (_("The program is not being run.")); - if (RECORD_IS_USED) - { - if (!query ("Stop the process record target and kill the program being debugged? ")) - error (_("Not confirmed.")); - } - else - { - if (!query ("Kill the program being debugged? ")) - error (_("Not confirmed.")); - } + if (!query ("Kill the program being debugged? ")) + error (_("Not confirmed.")); target_kill (); init_thread_list (); /* Destroy thread info */ |