That was an accidental omission (because I had some other makefile changes in my tree I was trying not to check in at the time). Thanks for noticing. I put the fix in.
_______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
