On Tue, May 14, 2013 at 10:49:19AM -0400, David Michael wrote:
> So is <mach/gnumach.h> supposed to be generated at some point in the
> gnumach install?  That doesn't happen during my build from the
> Savannah sources; it only provides <mach/gnumach.defs>.  Am I missing
> a step somewhere?

System headers are provided by glibc (and by the libc0.3-dev package on
Debian GNU/Hurd).

Richard Braun

Reply via email to