Re: [PATCH] MI: new timing command

Daniel Jacobowitz
2007-01-01T16:21:55Z

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