On Tue, 2006-11-07 at 12:18 -0500, Barry deFreese wrote:
> Here is a patch for another round of cleanup.  This gets rid of warnings for 
> strcmp, strlen, and printf.

I don't think we should have a file called <stdio.h> unless it's going
to support all of stdio.  <printf.h> is a much better name for a header
that includes only that.

I don't see mention of deleting the superfluous files in <kern/...>; why
not?

Thomas

Attachment: signature.asc
Description: This is a digitally signed message part

_______________________________________________
Bug-hurd mailing list
Bug-hurd@gnu.org
http://lists.gnu.org/mailman/listinfo/bug-hurd

Reply via email to