This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: [PATCH] gdb/configure.ac: add --enable-source-highlight
> From: Sergio Durigan Junior <sergiodj@redhat.com>
> Cc: slyfox@gentoo.org, tom@tromey.com, gdb-patches@sourceware.org
> Date: Mon, 18 Mar 2019 13:10:01 -0400
>
> But anyway, I don't want to bikeshed over this. If it's a hard thing to
> do, I'm totally fine with keeping things as is.
No bikeshedding wanted here as well.
I don't think this is hard, it just strikes me as strange that we
introduce a feature, and then immediately devise no less than 3 ways
to disable it.
But I don't have strong feelings either.