Hi Michael,
2008-10-17 Hui Zhu <teawater@gmail.com>
* infcmd.c (kill_if_already_running): Remove process record
warning code.
Thanks,
Hui
------------------------------------------------------------------------
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-10-17 Hui Zhu <teawater@gmail.com>
+
+ * infcmd.c (kill_if_already_running): Remove process record
+ warning code.
+
2008-10-15 Hui Zhu <teawater@gmail.com>
Change "record-auto-delete" to "record-stop-at-limit".
--- a/infcmd.c
+++ b/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 ();