diff options
Diffstat (limited to 'gdb/doc/gdb.texinfo')
-rw-r--r-- | gdb/doc/gdb.texinfo | 11 |
1 files changed, 11 insertions, 0 deletions
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. |