RE: [RFC] Change OK: to ARI: for ARI rule ignore

["Pierre Muller" <muller@ics.u-strasbg.fr>]

> -----Message d'origine-----
> De : Tom Tromey [mailto:tromey@redhat.com]
> Envoyé : Thursday, April 23, 2009 1:44 AM
> À : Pierre Muller
> Cc : gdb-patches@sourceware.org
> Objet : Re: [RFC] Change OK: to ARI: for ARI rule ignore
> 
> >>>>> "Pierre" == Pierre Muller <muller@ics.u-strasbg.fr> writes:
> 
> Pierre>   Thus, I would like to restrict that rule to only accept
> Pierre> /* ARI: rule_name */.
> 
> I think this sounds like a good idea.

  
> Pierre>   The main problem if I commit both before next release is
> that,
> Pierre> if ARI is rerun on gdb 6.8 release, this change will generate
> Pierre> new false warnings.
> 
> Is that something we would want to do?  Can't we just run it once, say
> today, and save the results?  I mean, if that is something we need.

You are right, the ARI page for 6.8 release dates
from 2008/03/27 which is the release date...
There is nothing in the automatic script that seems to update
this page, so maybe I can commit both together?

Pierre