devel/linux_devtools question

[andrew clarke]

On Sat, Jul 10, 2004 at 10:06:36AM +0200, Michael Nottebrock wrote:

> > Yes, but clearly /usr/include/errno.h requires /usr/include/bits/errno.h
> > which requires /usr/include/linux/errno.h.
> 
> Hmm, true. In that light, including a kernel source rpm in the linux_devtools 
> ports would make some sense... you might want to contact the port maintainer 
> trevor at freebsd.org about it.

Trevor has since pointed me to PR 65940 which provides a fix.

http://www.freebsd.org/cgi/query-pr.cgi?pr=ports/65940