Re: [PATCH] MI: new timing command

[Vladimir Prus <ghost at cs dot msu dot su>]

Nick Roberts wrote:

> + Toggle the printing of the wallclock, user and system times for an MI
> + command as a field in its output. ÂThis command is to help frontend
> + developers optimize the performance of their code. Â

I though it's to help gdb developers to optimize performance of
their code ;-) At least when gdb takes a second for list frames,
there's nothing I can do in a frontend ;-)

> No argument is 
> + equivalent to @samp{yes}.   

I'd suggest to say that this command may return error if 
timing is not available. Otherwise, frontend authors might
not even think this command can fail, and when it fails,
user will see completely buffling error message.

- Volodya