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
