kern/149012: [headers] [patch] please replace '#include <sys/stdint.h>' with '#include <stdint.h>'

Mark Linimon linimon at
Tue Aug 3 01:30:07 UTC 2010

The following reply was made to PR kern/149012; it has been noted by GNATS.

From: Mark Linimon <linimon at>
To: Tuco < at>
Cc: linimon at, bug-followup at
Subject: Re: kern/149012: [headers] [patch] please replace '#include
	<sys/stdint.h>' with '#include <stdint.h>'
Date: Mon, 2 Aug 2010 20:20:17 -0500

 On Thu, Jul 29, 2010 at 02:10:43PM -0400, Tuco wrote:
 > I realize I made a mistake, kernel headers can't use <stdint.h> so my
 > change needs to be reverted in sys/ directory. I tested with make
 > buildkernel now (in my FreeBSD chroot), and it works. Sorry!
 So, should this PR be closed?

More information about the freebsd-bugs mailing list