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
>> 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.
If you're ok with ``set/show maint ...'' I can clone ``set/show remote
...'' into what is needed.
Andrew