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

next in thread | previous in thread | raw e-mail | index | archive | help
In message <200305210740.h4L7eFgN029617@grimreaper.grondar.org>, Mark Murray wr
ites:
>Julian Elischer writes:
>> 
>> 
>> On Wed, 21 May 2003, Poul-Henning Kamp wrote:
>> > 
>> > You can find the total patch here:
>> > 
>> > 	http://phk.freebsd.dk/2re/total.patch
>> 
>> good work!
>> Thankyou for taking the time to do this.
>
>Indeed!
>
>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.

-- 
Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
phk@FreeBSD.ORG         | TCP/IP since RFC 956
FreeBSD committer       | BSD since 4.3-tahoe    
Never attribute to malice what can adequately be explained by incompetence.



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