From owner-freebsd-current  Fri Nov  1 22:42:11 2002
Delivered-To: freebsd-current@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id DDB2537B401
	for <current@FreeBSD.ORG>; Fri,  1 Nov 2002 22:42:09 -0800 (PST)
Received: from ip68-14-62-49.no.no.cox.net (ip68-14-62-49.no.no.cox.net [68.14.62.49])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 1258343E88
	for <current@FreeBSD.ORG>; Fri,  1 Nov 2002 22:40:48 -0800 (PST)
	(envelope-from conrads@cox.net)
Received: from ip68-14-62-49.no.no.cox.net (localhost [127.0.0.1])
	by ip68-14-62-49.no.no.cox.net (8.12.6/8.12.6) with ESMTP id gA26eltN094342
	for <current@FreeBSD.ORG>; Sat, 2 Nov 2002 00:40:47 -0600 (CST)
	(envelope-from conrads@ip68-14-62-49.no.no.cox.net)
Received: (from conrads@localhost)
	by ip68-14-62-49.no.no.cox.net (8.12.6/8.12.6/Submit) id gA26dLMt094334;
	Sat, 2 Nov 2002 00:39:21 -0600 (CST)
	(envelope-from conrads)
Message-ID: <XFMail.20021102003920.conrads@cox.net>
X-Mailer: XFMail 1.5.2 on FreeBSD
X-Priority: 3 (Normal)
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 8bit
MIME-Version: 1.0
In-Reply-To: <20021101120227.GB1778@gray.sea.gr>
Date: Sat, 02 Nov 2002 00:39:20 -0600 (CST)
Reply-To: conrads@cox.net
Organization: A Rag-Tag Band of Drug-crazed Hippies
From: Conrad Sabatier <conrads@cox.net>
To: Giorgos Keramidas <keramida@ceid.upatras.gr>
Subject: Re: A few questions
Cc: current@FreeBSD.ORG
Sender: owner-freebsd-current@FreeBSD.ORG
Precedence: bulk
List-ID: <freebsd-current.FreeBSD.ORG>
List-Archive: <http://docs.freebsd.org/mail/> (Web Archive)
List-Help: <mailto:majordomo@FreeBSD.ORG?subject=help> (List Instructions)
List-Subscribe: <mailto:majordomo@FreeBSD.ORG?subject=subscribe%20freebsd-current>
List-Unsubscribe: <mailto:majordomo@FreeBSD.ORG?subject=unsubscribe%20freebsd-current>
X-Loop: FreeBSD.ORG


On 01-Nov-2002 Giorgos Keramidas wrote:
> On 2002-10-31 18:39, Conrad Sabatier <conrads@cox.net> wrote:
>> [...]
>> And finally, is there a simple way to ensure that none of the debugging
>> code (including INVARIANTS stuff) is included during a buildworld?
> 
> INVARIANTS and WITNESS are kernel-only stuff.  They shouldn't affect
> your userland programs.  If they do, it's probably a bug.

I just happened to notice this:

$ grep -r 'CFLAGS.*INVARIANTS' /usr/src             
/usr/src/gnu/usr.bin/cc/Makefile.inc:#CFLAGS+=  -DWANT_COMPILER_INVARIANTS
/usr/src/lib/libc_r/Makefile:CFLAGS+=-D_PTHREADS_INVARIANTS
/usr/src/lib/libpthread/Makefile:CFLAGS+=-D_PTHREADS_INVARIANTS

Granted, the first one is commented out (and I've already built world after
commenting the other two with no ill effects).

-- 
Conrad Sabatier <conrads@cox.net>

He played the king as if afraid someone else would play the ace.
                -- John Mason Brown, drama critic


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-current" in the body of the message