This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH/DOC] Prec: add doc for record save and record record restore

On Fri, Jun 18, 2010 at 16:04, Eli Zaretskii <eliz@gnu.org> wrote:
>> 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.
>

Checked in.

Thanks,
Hui
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]