"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 idlaHReceived on Tue May 20 2003 - 23:24:10 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:37:08 UTC