Re: [RFA] Remove command_line_handler_continuation.

Eli Zaretskii
2008-04-26T12:16:25Z

> From: Vladimir Prus <vladimir@codesourcery.com>
> Date: Sat, 26 Apr 2008 14:55:15 +0400
>
> > Doesn't this require some change to the manual, where these timings
> > are described?
>
> I can only find this bit in the manual:
>
> -statistics
> This option causes GDB to print statistics about time and memory usage after it completes each
> command and returns to the prompt.
>
> Is this what should be changed, or there's something else I've missed?

I thought "maint time" was also relevant. Is it?