This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
Re: [RFA] Version 2 of patch to add 'maint profile-gdb' command
Andrew Cagney wrote:
>
> > + add_cmd ("profile-gdb", class_maintenance, maint_profile_gdb,
> > + "Enable or disable profiling.",
> > + &maintenancelist);
>
> Jason, should have thought of this earlier, sorry. Should this be
> ``set/show maint profile-gdb''? ``set/show remote ...'' provides
> cut/paste for implementing this.
>
> As far as I can tell it isn't possible to examine the value of profile-gdb.
>
It seems to be a general problem with "maint" things that are settings
(instead of an action).
We should eventually create a "set/show maint" thing similar to
"set/show debug" (humm, what is the difference here?).
I would leave it for a separate patch which would do it for all
the maint related settings.
BTW, "maint profile-gdb" is redundant. maint commands are supposed to be
introspective already. The target is always gdb itself, never the target.
Someone mentioned that the "-gdb" should be dropped and I agree. But I do
not mind if it stays as it is as "maint profile" will work anyways.
--
Fernando Nasser
Red Hat - Toronto E-Mail: fnasser@redhat.com
2323 Yonge Street, Suite #300
Toronto, Ontario M4P 2C9