diff options
author | Hui Zhu <teawater@gmail.com> | 2008-10-08 06:20:50 +0000 |
---|---|---|
committer | Hui Zhu <teawater@gmail.com> | 2008-10-08 06:20:50 +0000 |
commit | e9ba7306580e096a0952874eb888813062d1f9f7 (patch) | |
tree | 3cc5b213eef7968e819eecd3b4a0fb20be72649c | |
parent | 0bd1ef2ac65a1b832a45b70437f84925f5218e8d (diff) | |
download | gdb-e9ba7306580e096a0952874eb888813062d1f9f7.tar.gz |
2008-10-07 Hui Zhu <teawater@gmail.com>
* inflow.c (kill_command): Remove query special for
process record.
-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 */ |