Hi,

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

Reply via email to