Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

[Paolo Bonzini]

On 09/04/2011 03:22 PM, Ralf Wildenhues wrote:
> > >  -# This must be Linux ELF.
> > >  +# This must be GNU/Linux ELF.
> The comment does not match the code below it, see the following line.
> Not your fault, and generally I don't want to take patches hostage on
> unrelated bugs, but*please*  make this
>    # This must be GNU userland with ELF and

On the same line, in the documentation it is almost invariably better to 
mention glibc rather than GNU/Linux.

Paolo