Synopsis: devel/splint fails during build State-Changed-From-To: open->closed State-Changed-By: rillig@netbsd.org State-Changed-When: Tue, 31 May 2005 19:07:04 +0000 State-Changed-Why: I just committed a patch which fixes this.