--- doc/gdb.texinfo | 15 +++++++++++++++ 1 file changed, 15 insertions(+) --- a/doc/gdb.texinfo +++ b/doc/gdb.texinfo @@ -5190,6 +5190,21 @@ When record target runs in replay mode ( subsequent execution log and begin to record a new execution log starting from the current address. This means you will abandon the previously recorded ``future'' and begin recording a new ``future''. + +@kindex record skip +@kindex rec skip +@item record skip +Show the status of record skip. + +@kindex record skip disable +@kindex rec skip disable +@item record skip disable @r{[}id@r{]} +Disable the specified record skip entry (or all record skip entries). + +@kindex record skip enable +@kindex rec skip enable +@item record skip enable @r{[}id@r{]} +Enable the specified record skip entry (or all record skip entries). @end table