From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andrew Cagney To: Jason Molenda Cc: gdb-patches@sources.redhat.com, Tom Tromey Subject: Re: [RFA] Version 2 of patch to add 'maint profile-gdb' command Date: Mon, 17 Sep 2001 22:39:00 -0000 Message-id: <3BA6DDFE.5080504@cygnus.com> References: <20010910003022.A21681@shell17.ba.best.com> <3B9CE0C6.5060700@cygnus.com> <20010910115244.A25119@shell17.ba.best.com> <3B9FACDA.6070407@cygnus.com> <20010916174433.A3258@shell17.ba.best.com> X-SW-Source: 2001-09/msg00215.html > + 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. Andrew