This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: New ARI warning Sat Oct 29 01:55:04 UTC 2011
> Date: Sun, 30 Oct 2011 15:52:35 -0400
> From: Joel Brobecker <brobecker@adacore.com>
>
> > > 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.
The rule is silly; I've never cared about the whole GNU/Linux politics
anyway,