Re: mig stub headers: brain dump

[Roland McGrath]

I checked in another makefile tweak and a clean build worked for me.

_______________________________________________
Bug-hurd mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-hurd