On 13 February 2012 10:57, Alex Shinn <alexsh...@gmail.com> wrote: > On Mon, Feb 13, 2012 at 8:46 AM, Ludovic Courtès <l...@gnu.org> wrote: >> Alex Shinn <alexsh...@gmail.com> skribis: >>> There is no "gnu" feature proposed in R7RS, >> >> That would be for GNU, aka. GNU/Hurd. > > Wouldn't the feature be better named "hurd" then? > > How can a system be both Hurd and Linux?
A GNU configuration option would seem to me to specify that any feature that 'all GNU systems' support must be available; regardless of which kernel it is running on. -- William Leslie
