diff options
| author | Hui Zhu <teawater@gmail.com> | 2008-10-21 14:51:20 +0000 |
|---|---|---|
| committer | Hui Zhu <teawater@gmail.com> | 2008-10-21 14:51:20 +0000 |
| commit | 744abaa92ca8c97bd3577cc709c7142bb20f284a (patch) | |
| tree | bc609deb8c8361be40255734bd66dd37082f9f6b | |
| parent | 4879fcb5e952a0a7ff70d0264f59332acb747261 (diff) | |
| download | gdb-744abaa92ca8c97bd3577cc709c7142bb20f284a.tar.gz | |
2008-10-19 Hui Zhu <teawater@gmail.com>
* infcmd.c (kill_if_already_running): Remove process record
warning code.
| -rw-r--r-- | gdb/ChangeLog | 5 | ||||
| -rw-r--r-- | 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,4 +1,9 @@ 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 TARGET_WAITKIND_NO_HISTORY. 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 (); |