From owner-freebsd-current Sun Mar 24 17:25:31 1996 Return-Path: owner-current Received: (from root@localhost) by freefall.freebsd.org (8.7.3/8.7.3) id RAA10460 for current-outgoing; Sun, 24 Mar 1996 17:25:31 -0800 (PST) Received: from originat.demon.co.uk (originat.demon.co.uk [158.152.220.9]) by freefall.freebsd.org (8.7.3/8.7.3) with ESMTP id RAA10447 for ; Sun, 24 Mar 1996 17:25:25 -0800 (PST) Received: (from paul@localhost) by originat.demon.co.uk (8.7.5/8.6.9) id BAA19095; Mon, 25 Mar 1996 01:16:46 GMT From: Paul Richards Message-Id: <199603250116.BAA19095@originat.demon.co.uk> Subject: Re: cvs commit: src/usr.bin/xlint/llib llib-lc Makefile llib-lstdc To: joerg_wunsch@uriah.heep.sax.de Date: Mon, 25 Mar 1996 01:16:46 +0000 (GMT) Cc: freebsd-current@FreeBSD.ORG In-Reply-To: <199603242328.AAA06693@uriah.heep.sax.de> from "J Wunsch" at Mar 25, 96 00:28:20 am Reply-to: paul@netcraft.co.uk X-Mailer: ELM [version 2.4 PL23] MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Sender: owner-current@FreeBSD.ORG X-Loop: FreeBSD.org Precedence: bulk In reply to J Wunsch who said > > Only the lstdc and lposix files need to live there -- they are special > cases. Everything else is supposed to be created out of the header > files. It works sorta automagically. All you need to do is to say > ``make lint'' in the lib directory. (Ok, there's still the boot- > strapping problem.) Ok, Peter can you revert that renaming of lstdc. I looked at this a bit. The hooks are still in the mk files for doing this. Apart from the fact that libc isn't anywhere near being lint ready (I'll start on this next weekend), lint doesn't understand all the CFLAGS, it doesn't understand -O in particular. We could add a LINTFLAGS or make lint itself ignore flags it doesn't care about. I prefer the former since there's no reason to expect lint to understand all the flags the compiler does. -- Paul Richards, Originative Solutions Ltd. Internet: paul@netcraft.co.uk, http://www.netcraft.co.uk Phone: 0370 462071 (Mobile), +44 1225 447500 (work)