From owner-freebsd-arch Thu Sep 19 9:30:36 2002 Delivered-To: freebsd-arch@freebsd.org Received: from mx1.FreeBSD.org (mx1.FreeBSD.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 1C87F37B401 for ; Thu, 19 Sep 2002 09:30:35 -0700 (PDT) Received: from snipe.mail.pas.earthlink.net (snipe.mail.pas.earthlink.net [207.217.120.62]) by mx1.FreeBSD.org (Postfix) with ESMTP id B3A4743E42 for ; Thu, 19 Sep 2002 09:30:34 -0700 (PDT) (envelope-from tlambert2@mindspring.com) Received: from pool0312.cvx22-bradley.dialup.earthlink.net ([209.179.199.57] helo=mindspring.com) by snipe.mail.pas.earthlink.net with esmtp (Exim 3.33 #1) id 17s43a-0003Q6-00; Thu, 19 Sep 2002 09:21:35 -0700 Message-ID: <3D89F94E.88C3EABB@mindspring.com> Date: Thu, 19 Sep 2002 09:20:30 -0700 From: Terry Lambert X-Mailer: Mozilla 4.79 [en] (Win98; U) X-Accept-Language: en MIME-Version: 1.0 To: Mark Murray Cc: arch@freebsd.org Subject: Re: More lint work for share/mk/ (review, please) References: <200209191559.g8JFx27s001093@grimreaper.grondar.org> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-freebsd-arch@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.ORG Mark Murray wrote: > I've been running the attached patches for a while now, and they > allow me to complete make worlds with a commercial lint, a ports > lint and freebsd "base" lint. [ ... ] > Comments (remembering this is a no-bikeshed zone!) ?? :-) [ Comments on flexelint's poor understanding of compiler semantics, including varradic macros, and the value of LINT vs. logic errors, and the silly lengths to which one may go to make LINT happy and mask problems instead of fixing them, and how code which compiles cleanly is not the same thing as code which works ... elided to avoid bikeshedding ] -- Terry To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-arch" in the body of the message