This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH/DOC] Prec: add doc for record save and record record restore
> From: Hui Zhu <teawater@gmail.com>
> Date: Fri, 18 Jun 2010 15:48:54 +0800
> Cc: gdb-patches@sourceware.org
>
> > ?Default filename is @file{gdb_record.@var{process_id}}, where
> > ?@var{process_id} is the process ID of the @value{GDBN} process.
>
> The process_id is the id of inferior. Do you think I can change it to:
> @var{process_id} is the process ID of the inferior.
Yes.