|
From: | Paolo Bonzini |
Subject: | Re: Bug 9210: fix to replace Linux with GNU/Linux where needed |
Date: | Mon, 12 Sep 2011 10:48:32 +0200 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:6.0.2) Gecko/20110906 Thunderbird/6.0.2 |
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
[Prev in Thread] | Current Thread | [Next in Thread] |