In message <200305210740.h4L7eFgN029617_at_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_at_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.Received on Tue May 20 2003 - 22:52:08 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:37:08 UTC