This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH v4] Implement $_exitsignal
- From: Sergio Durigan Junior <sergiodj at redhat dot com>
- To: Eli Zaretskii <eliz at gnu dot org>
- Cc: gdb-patches at sourceware dot org, dje at google dot com, palves at redhat dot com
- Date: Tue, 17 Sep 2013 17:09:16 -0300
- Subject: Re: [PATCH v4] Implement $_exitsignal
- Authentication-results: sourceware.org; auth=none
- References: <m3six3nxr6 dot fsf at redhat dot com> <831u4np99t dot fsf at gnu dot org>
On Tuesday, September 17 2013, Eli Zaretskii wrote:
>> From: Sergio Durigan Junior <sergiodj@redhat.com>
>> Cc: Doug Evans <dje@google.com>, Pedro Alves <palves@redhat.com>
>> Date: Tue, 17 Sep 2013 14:50:21 -0300
>>
>> +To distinguish between whether the program being debugged has exited
>> +(i.e., @code{$_exitcode} is not @code{void}) or signalled (i.e.,
>> +@code{$_exitsignal} is not @code{void}), the convenience function
>> +@code{$_isvoid} can be used (see @ref{Convenience Funs,, Convenience
>> +Functions}).
>
> @pxref would be better here than "see @ref".
>
> Otherwise, the documentation part is OK.
Thanks, fixed in my tree.
--
Sergio