This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
RE: [PING] [RFC] Extend gdb_ari.sh with ARI_OFF/ARI_ON
- From: "Pierre Muller" <pierre dot muller at ics-cnrs dot unistra dot fr>
- To: <tromey at redhat dot com>
- Cc: <gdb-patches at sourceware dot org>
- Date: Fri, 21 May 2010 18:22:19 +0200
- Subject: RE: [PING] [RFC] Extend gdb_ari.sh with ARI_OFF/ARI_ON
- References: <10524.3587088355$1274389681@news.gmane.org> <m3mxvt1b6x.fsf@fleche.redhat.com>
> I think this kind of mechanism is too obscure. The markers may be very
> far from the place that one is editing.
>
> Do we really need this particular ARI rule at all? This sort of
> problem
> is usually caught by patch review... and if it an instance is missed,
> it
> doesn't have any impact on code quality.
OK, I get your point, and you are not the first
one taking that position.
Let's drop this also,
proposal officially withdrawn.
I will try to work further on more
ARI if I find time... but will try to focus on
more essential points.
Pierre