From owner-freebsd-smp Tue Feb 26 17: 0:10 2002 Delivered-To: freebsd-smp@freebsd.org Received: from mail.rpi.edu (mail.rpi.edu [128.113.22.40]) by hub.freebsd.org (Postfix) with ESMTP id 58D2137B417 for ; Tue, 26 Feb 2002 17:00:08 -0800 (PST) Received: from [128.113.24.47] (gilead.acs.rpi.edu [128.113.24.47]) by mail.rpi.edu (8.12.1/8.12.1) with ESMTP id g1R105dq117588; Tue, 26 Feb 2002 20:00:05 -0500 Mime-Version: 1.0 X-Sender: drosih@mail.rpi.edu Message-Id: In-Reply-To: <20020226162616.E32126-100000@merckx.salk.edu> References: <20020226162616.E32126-100000@merckx.salk.edu> Date: Tue, 26 Feb 2002 20:00:04 -0500 To: Jorge Aldana From: Garance A Drosihn Subject: Re: Performance vs. Stable Cc: Bob Van Valzah , Content-Type: text/plain; charset="us-ascii" ; format="flowed" X-Scanned-By: MIMEDefang 2.3 (www dot roaringpenguin dot com slash mimedefang) Sender: owner-freebsd-smp@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.org At 4:27 PM -0800 2/26/02, Jorge Aldana wrote: >Why isn't WITNESS and WITNESS_SKIPSPIN in LINT? Or is it >undocumented? While I'm at it what are they, if you know. It is described in the "NOTES" file in -current. There is no "LINT" file in current, but there is a makeLINT.pl script if you want a real LINT file. WITNESS_SKIPSPIN almost certainly does not exist in -stable, and it may be that WITNESS also does not exist there. (I am too lazy to check right now). -- Garance Alistair Drosehn = gad@eclipse.acs.rpi.edu Senior Systems Programmer or gad@freebsd.org Rensselaer Polytechnic Institute or drosih@rpi.edu To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe freebsd-smp" in the body of the message