Re: [PATCH] MI: new timing command

[Daniel Jacobowitz <drow@false.org>]

On Mon, Jan 01, 2007 at 10:16:35PM +1300, Nick Roberts wrote:
> I wasn't aware of "maint time 1" which does indeed seem very similar.  In that
> case don't understand why you suggested "-gdb-set mi profiling on" and not
> "-gdb-set mi set time on".

Indeed, it was a mistake on my part.

> Anyway, in the case of MI, I'm not sure that you
> would want the user to be able to turn it on, so I'm not sure that the same
> setting is a good idea.  Initially I would just use it manually from the
> command line.  I don't currently have a front end that can consume the output
> but it clearly makes sense for the future.

It's just a new field in various outputs; shouldn't a properly written
MI parser ignore them?  Anyway, it might not be wise to make it easy
for end users to enable it, indeed.  That's a good reason to use
-enable-timings as you/Apple did.

-- 
Daniel Jacobowitz
CodeSourcery