This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [patch 3/8] Command `set agent on|off'
- From: Pedro Alves <palves at redhat dot com>
- To: Yao Qi <yao at codesourcery dot com>
- Cc: gdb-patches at sourceware dot org
- Date: Thu, 09 Feb 2012 20:18:40 +0000
- Subject: Re: [patch 3/8] Command `set agent on|off'
- References: <4F1D55D7.7030506@codesourcery.com> <4F1D659F.40608@codesourcery.com>
On 01/23/2012 01:50 PM, Yao Qi wrote:
> We want to leave users to decide whether they want to use agent or not,
> so we add a new command `set agent on|off' in this patch.
>
Looks fine to me, modulo the consideration for what happens on error,
pointed in the other patch.
--
Pedro Alves