Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 21 May 2003 09:21:48 +0100
From:      Mark Murray <mark@grondar.org>
To:        "Poul-Henning Kamp" <phk@phk.freebsd.dk>
Cc:        current@freebsd.org
Subject:   Re: HEADSUP: commit-spree when freeze ends. 
Message-ID:  <200305210821.h4L8LmgN030125@grimreaper.grondar.org>
In-Reply-To: Your message of "Wed, 21 May 2003 09:51:58 %2B0200." <7232.1053503518@critter.freebsd.dk> 

next in thread | previous in thread | raw e-mail | index | archive | help
"Poul-Henning Kamp" writes:
> >Anyone who has looked at the 20MB of whining that Flexelint can produce
> >on a GENERIC build will sorely appreciate cleanup work :-).
> 
> With the settings I'm using right now, and ignoring a lot peripheral
> features in the kernel, and a few strategic workarounds,
> I am down to 2.5MB for LINT.
> 
> 	mkdir /sys/flexelint
> 	cd /sys/flexelint
> 	download all of http://phk.freebsd.dk/flexelint
> 	Apply sys.patch
> 
> 	cd /sys/i386/compile/KERNEL
> 	make lint LINT=../../../flexelint.sh
> 
> edit flexelint.sh if you don't want to ignore the same bits as me.

I'm in Ireland for a few days, abut I'll do this _for_sure_ when I get back.

Thanks!

M
--
Mark Murray
iumop ap!sdn w,I idlaH



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200305210821.h4L8LmgN030125>