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

	* gdb.texinfo: (Process Record and Replay): Add documentation
	for commands "record save" and "record restore".

diff --git a/gdb/doc/ChangeLog b/gdb/doc/ChangeLog
index 132727b..60ae888 100644 (file)
--- 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 (file)
--- 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.