From owner-freebsd-current@FreeBSD.ORG  Wed May 21 01:24:10 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 F3BBD37B401
	for <current@freebsd.org>; Wed, 21 May 2003 01:24:09 -0700 (PDT)
Received: from storm.FreeBSD.org.uk (storm.FreeBSD.org.uk [194.242.157.42])
	by mx1.FreeBSD.org (Postfix) with ESMTP id EECA743FAF
	for <current@freebsd.org>; Wed, 21 May 2003 01:24:08 -0700 (PDT)
	(envelope-from mark@grondar.org)
Received: from storm.FreeBSD.org.uk (Ugrondar@localhost [127.0.0.1])
	by storm.FreeBSD.org.uk (8.12.7/8.12.7) with ESMTP id h4L8O5gw067214;
	Wed, 21 May 2003 09:24:05 +0100 (BST)
	(envelope-from mark@grondar.org)
Received: (from Ugrondar@localhost)h4L8O51M067213;
	Wed, 21 May 2003 09:24:05 +0100 (BST)
X-Authentication-Warning: storm.FreeBSD.org.uk: Ugrondar set sender to
	mark@grondar.org using -f
Received: from grondar.org (localhost [127.0.0.1])h4L8LmgN030125;
	Wed, 21 May 2003 09:21:48 +0100 (BST)
	(envelope-from mark@grondar.org)
From: Mark Murray <mark@grondar.org>
Message-Id: <200305210821.h4L8LmgN030125@grimreaper.grondar.org>
To: "Poul-Henning Kamp" <phk@phk.freebsd.dk>
In-Reply-To: Your message of "Wed, 21 May 2003 09:51:58 +0200."
             <7232.1053503518@critter.freebsd.dk> 
Date: Wed, 21 May 2003 09:21:48 +0100
Sender: mark@grondar.org
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 08:24:10 -0000

"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