From owner-freebsd-questions Wed May 29 06:34:42 1996 Return-Path: owner-questions Received: (from root@localhost) by freefall.freebsd.org (8.7.5/8.7.3) id GAA04316 for questions-outgoing; Wed, 29 May 1996 06:34:42 -0700 (PDT) Received: from who.cdrom.com (who.cdrom.com [204.216.27.3]) by freefall.freebsd.org (8.7.5/8.7.3) with SMTP id GAA04300 for ; Wed, 29 May 1996 06:34:39 -0700 (PDT) Received: from epprod.elsevier.co.uk (epprod.elsevier.co.uk [193.131.222.35]) by who.cdrom.com (8.6.12/8.6.11) with ESMTP id GAA13156 for ; Wed, 29 May 1996 06:34:36 -0700 Received: from snowdon.elsevier.co.uk (snowdon.elsevier.co.uk [193.131.197.164]) by epprod.elsevier.co.uk (8.6.13/8.6.12) with ESMTP id OAA08612 for ; Wed, 29 May 1996 14:27:07 +0100 Received: from cadair.elsevier.co.uk (actually host cadair) by snowdon with SMTP (PP); Wed, 29 May 1996 14:27:09 +0100 Received: (from dpr@localhost) by cadair.elsevier.co.uk (8.6.12/8.6.12) id OAA16850; Wed, 29 May 1996 14:26:40 +0100 From: Paul Richards Message-Id: <199605291326.OAA16850@cadair.elsevier.co.uk> Subject: Re: Where is LINT? To: root@eer-ss201.internet1.net (Super-User) Date: Wed, 29 May 1996 14:26:40 +0100 (BST) Cc: questions@FreeBSD.org In-Reply-To: <199605291235.IAA07525@eer-ss201.internet1.net> from "Super-User" at May 29, 96 08:35:00 am X-Mailer: ELM [version 2.4 PL24] Content-Type: text Sender: owner-questions@FreeBSD.org X-Loop: FreeBSD.org Precedence: bulk In reply to Super-User who said > > Greetings, > > I was wondering FreeBSD (2.1.0) has a lint program? I tried to find one > but only found some text saying there is no standard for lint and that it is > a wast of time. Also that GCC is better than cc & lint. Should I worry > about not having one with FreeBSD? If so, where can I get it, if not, okay > thanks. There is one in -current but it's not totally useable yet since we need to lint the libraries. -- Paul Richards. Originative Solutions Ltd. (Netcraft Ltd. contractor) Elsevier Science TIS online journal project. Email: p.richards@elsevier.co.uk Phone: 0370 462071 (Mobile), +44 (0)1865 843155