From: Hui Zhu Date: Tue, 21 Oct 2008 14:51:21 +0000 (+0000) Subject: 2008-10-19 Hui Zhu X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ab929e1a6a742a4cb4602fbe9235718ca14ff17f;p=thirdparty%2Fbinutils-gdb.git 2008-10-19 Hui Zhu * infcmd.c (kill_if_already_running): Remove process record warning code. --- 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 ();