2010-06-18 Hui Zhu <teawater@gmail.com>

* gdb.texinfo: (Process Record and Replay): Add documentation
	for commands "record save" and "record restore".
This commit is contained in:
Hui Zhu 2010-06-18 08:16:15 +00:00
parent ba71cf6fa1
commit 24e933dfc8
2 changed files with 16 additions and 0 deletions

View File

@ -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

View File

@ -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.