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

[Pedro Alves]

On Sunday 30 October 2011 19:52:35, Joel Brobecker wrote:
> > > 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.

+1000.

-- 
Pedro Alves