New ARI warning Sat Oct 29 01:55:04 UTC 2011

[Joel Brobecker]

> > gdb/linux-nat.c:3424: comment: GNU/Linux: Do not use 'Linux', instead use 'Linux kernel' or 'GNU/Linux system'; comments should clearly differentiate between the two (this test assumes that word 'Linux' appears on the same line as the word 'GNU' or 'kernel' or a kernel version
> gdb/linux-nat.c:3424:	     other than the leader exec'd.  On an exec, the Linux

I wonder if we want to consider the idea of getting rid of this rule
from the ARI... In this case, the comment correctly says "Linux kernel",
except that the "kernel" part is on the next line... It's not the first
time that this rule triggers unnecessarily, hence the suggestion.

-- 
Joel