On Wed, May 01, 2013 at 09:10:34PM -0400, David Michael wrote: > The gnumach installation provides the include file mach/gnumach.defs > instead of mach/gnumach.h. This runs the defs file through MIG and > builds the result for vmstat.
Sorry for reacting late but I don't see the point of that change. Using already generated system headers is the intent here. The fact they were generated doesn't matter at all, they are the interface reference that applications (and even the Hurd itself) must use. -- Richard Braun