cvs commit: src/sys/netinet tcp_input.c tcp_usrreq.c

[M. Warner Losh]

In message: <86k5sijlge.fsf at ds4.des.no>
            Dag-Erling_Smørgrav <des at des.no> writes:
: Warner Losh <imp at bsdimp.com> writes:
: > Thank you for your opinion.  However, make universe is not worthless.
: > If doing one, and checking the output for errors, isn't sufficient to
: > get tinderbox to not whine, then tinderbox is broken.
: 
: Thank you for *your* opinion, but the tinderbox is not at fault here.
: The fact of the matter is that LINT is broken, as a simple 'make
: buildkernel KERNCONF=LINT' will show.
: 
: The attached patch unbreaks the build.

This is exactly the patch that Matt was testing.

I stand by my earlier statement: if make universe doesn't show the
problem, it is unreasonable to demand a fix for it.  Make universe
does show this problem.

Warner