Re: [RFA, doc RFA] Include wallclock time in "maint time" output.

Doug Evans
2011-11-04T16:46:40Z

On Fri, Nov 4, 2011 at 2:01 AM, Eli Zaretskii <eliz@gnu.org> wrote:
>> Date: Thu, 3 Nov 2011 16:17:08 -0700
>> From: Doug Evans <dje@google.com>
>> Cc: gdb-patches@sourceware.org
>>
>> >> The part about time not being printed for commands that run the target
>> >> is not true.
>> >
>> > The CPU time still accounts for GDB only, right?  It sounds like we
>> > interpret this sentence differently, so perhaps it should be reworded
>> > rather than being deleted.
>>
>> You'll need to tell me how you interpret it.
>
> The text of the patch you attached is fine with me, but I would
> suggest to use "@sc{cpu}" instead of just "cpu", I think the former
> looks better in print.

Ah, righto. That reminded me that gdb.texinfo uses CPU (all caps) throughout,
so that's what I checked in.