2008-10-19 Hui Zhu <teawater@gmail.com>

	* infcmd.c (kill_if_already_running): Remove process record
	warning code.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index af41068ed34532b66f262fee7e43edc310f8c000..0bc33667fff219de1eb631a8dd28cd6192e54797 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2008-10-19  Hui Zhu  <teawater@gmail.com>
+ 
+       * infcmd.c (kill_if_already_running): Remove process record
+       warning code.
+
 2008-10-19  Hui Zhu  <teawater@gmail.com>
 
        * infrun.c (handle_inferior_event): Set "stop_pc" when

diff --git a/gdb/infcmd.c b/gdb/infcmd.c
index e5f9a537b2b3a972eed3062a537e90b93baea825..51791d6b79af4d550c0fc2d51cace077b0172517 100644 (file)
--- 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 ();