From owner-freebsd-current@FreeBSD.ORG  Wed May 21 00:52:08 2003
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: freebsd-current@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 68DFA37B407
	for <current@freebsd.org>; Wed, 21 May 2003 00:52:08 -0700 (PDT)
Received: from critter.freebsd.dk (critter.freebsd.dk [212.242.86.163])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 8831543F85
	for <current@freebsd.org>; Wed, 21 May 2003 00:52:07 -0700 (PDT)
	(envelope-from phk@phk.freebsd.dk)
Received: from critter.freebsd.dk (localhost [127.0.0.1])
	by critter.freebsd.dk (8.12.9/8.12.9) with ESMTP id h4L7pw98007233;
	Wed, 21 May 2003 09:52:02 +0200 (CEST)
	(envelope-from phk@phk.freebsd.dk)
To: Mark Murray <mark@grondar.org>
From: "Poul-Henning Kamp" <phk@phk.freebsd.dk>
In-Reply-To: Your message of "Wed, 21 May 2003 08:40:15 BST."
             <200305210740.h4L7eFgN029617@grimreaper.grondar.org> 
Date: Wed, 21 May 2003 09:51:58 +0200
Message-ID: <7232.1053503518@critter.freebsd.dk>
cc: Julian Elischer <julian@elischer.org>
cc: current@freebsd.org
Subject: Re: HEADSUP: commit-spree when freeze ends. 
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 21 May 2003 07:52:08 -0000

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.