Re: [PATCH 2/3] utils/vmstat: Use gnumach.defs from gnumach

[David Michael]

Hi,

On Mon, May 13, 2013 at 6:10 PM, Richard Braun <rbraun@sceen.net> wrote:
> 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.

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?

Thanks.

David