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

[Tom Tromey]

>>>>> "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.

Tom