diff options
| author | Hui Zhu <teawater@gmail.com> | 2010-06-18 08:16:15 +0000 |
|---|---|---|
| committer | Hui Zhu <teawater@gmail.com> | 2010-06-18 08:16:15 +0000 |
| commit | 24e933dfc831178659f9619abc62875d762f8025 (patch) | |
| tree | d8598443b995f20397f0440429544e7e97b16244 | |
| parent | ba71cf6fa1491e2e332e2bf8f19ec98084f20823 (diff) | |
| download | gdb-24e933dfc831178659f9619abc62875d762f8025.zip gdb-24e933dfc831178659f9619abc62875d762f8025.tar.gz gdb-24e933dfc831178659f9619abc62875d762f8025.tar.bz2 | |
2010-06-18 Hui Zhu <teawater@gmail.com>
* gdb.texinfo: (Process Record and Replay): Add documentation
for commands "record save" and "record restore".
| -rw-r--r-- | gdb/doc/ChangeLog | 5 | ||||
| -rw-r--r-- | gdb/doc/gdb.texinfo | 11 |
2 files changed, 16 insertions, 0 deletions
diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog index 132727b..60ae888 100644 --- a/gdb/doc/ChangeLog +++ b/gdb/doc/ChangeLog @@ -1,3 +1,8 @@ +2010-06-18 Hui Zhu <teawater@gmail.com> + + * gdb.texinfo: (Process Record and Replay): Add documentation + for commands "record save" and "record restore". + 2010-06-16 Jan Kratochvil <jan.kratochvil@redhat.com> * gdb.texinfo: Include information about the correct use diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo index 1daa211..03752b6 100644 --- a/gdb/doc/gdb.texinfo +++ b/gdb/doc/gdb.texinfo @@ -5639,6 +5639,17 @@ usual ``live'' debugging of the process from that state. When the inferior process exits, or @value{GDBN} detaches from it, process record and replay target will automatically stop itself. +@kindex record save +@item record save @var{filename} +Save the execution log to a file @file{@var{filename}}. +Default filename is @file{gdb_record.@var{process_id}}, where +@var{process_id} is the process ID of the inferior. + +@kindex record restore +@item record restore @var{filename} +Restore the execution log from a file @file{@var{filename}}. +File must have been created with @code{record save}. + @kindex set record insn-number-max @item set record insn-number-max @var{limit} Set the limit of instructions to be recorded. Default value is 200000. |