From ab929e1a6a742a4cb4602fbe9235718ca14ff17f Mon Sep 17 00:00:00 2001 From: Hui Zhu Date: Tue, 21 Oct 2008 14:51:21 +0000 Subject: [PATCH] 2008-10-19 Hui Zhu * infcmd.c (kill_if_already_running): Remove process record warning code. --- gdb/ChangeLog | 5 +++++ gdb/infcmd.c | 9 ++------- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index af41068ed34..0bc33667fff 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2008-10-19 Hui Zhu + + * infcmd.c (kill_if_already_running): Remove process record + warning code. + 2008-10-19 Hui Zhu * infrun.c (handle_inferior_event): Set "stop_pc" when diff --git a/gdb/infcmd.c b/gdb/infcmd.c index e5f9a537b2b..51791d6b79a 100644 --- a/gdb/infcmd.c +++ b/gdb/infcmd.c @@ -51,7 +51,6 @@ #include "exceptions.h" #include "cli/cli-decode.h" #include "gdbthread.h" -#include "record.h" /* Functions exported for general use, in inferior.h: */ @@ -427,12 +426,8 @@ kill_if_already_running (int from_tty) restart it. */ target_require_runnable (); - if (from_tty) - if (!query (RECORD_IS_USED ? - "The program being debugged has been started already,\n\ -and is running in record/replay mode. Do you want to abandon\n\ -the recording and start the program from the beginning? " : - "The program being debugged has been started already.\n\ + if (from_tty + && !query ("The program being debugged has been started already.\n\ Start it from the beginning? ")) error (_("Program not restarted.")); target_kill (); -- 2.47.2