summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorHui Zhu <teawater@gmail.com>2008-10-08 06:20:50 +0000
committerHui Zhu <teawater@gmail.com>2008-10-08 06:20:50 +0000
commite9ba7306580e096a0952874eb888813062d1f9f7 (patch)
tree3cc5b213eef7968e819eecd3b4a0fb20be72649c
parent0bd1ef2ac65a1b832a45b70437f84925f5218e8d (diff)
downloadgdb-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/ChangeLog5
-rw-r--r--gdb/inflow.c12
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 */