From owner-freebsd-stable@FreeBSD.ORG  Mon Jul  4 11:26:01 2005
Return-Path: <owner-freebsd-stable@FreeBSD.ORG>
X-Original-To: freebsd-stable@freebsd.org
Delivered-To: freebsd-stable@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 982AF16A41C
	for <freebsd-stable@freebsd.org>; Mon,  4 Jul 2005 11:26:01 +0000 (GMT)
	(envelope-from pertti.kosunen@pp.nic.fi)
Received: from gw01.mail.saunalahti.fi (gw01.mail.saunalahti.fi
	[195.197.172.115])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 58D1E43D46
	for <freebsd-stable@freebsd.org>; Mon,  4 Jul 2005 11:26:00 +0000 (GMT)
	(envelope-from pertti.kosunen@pp.nic.fi)
Received: from [62.142.71.181] (KMMLXXXI.dsl.saunalahti.fi [62.142.71.181])
	by gw01.mail.saunalahti.fi (Postfix) with ESMTP id 15EF2EA09D;
	Mon,  4 Jul 2005 14:25:57 +0300 (EEST)
Message-ID: <42C91CC5.8070508@pp.nic.fi>
Date: Mon, 04 Jul 2005 14:25:57 +0300
From: Pertti Kosunen <pertti.kosunen@pp.nic.fi>
User-Agent: Mozilla Thunderbird 1.0.2 / FreeBSD 5.4-STABLE
X-Accept-Language: en-us, en
MIME-Version: 1.0
To: "freebsd-stable@freebsd.org" <freebsd-stable@freebsd.org>
References: <ACE436445E3CB14DB6B6DF23AB5D72DB0194DD@magnum.Home.local>
	<185253141156.20050705025917@tk-pttuntex.com>
In-Reply-To: <185253141156.20050705025917@tk-pttuntex.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Cc: 
Subject: Re: 5.3 STABLE to 5.4 buildkernel error
X-BeenThere: freebsd-stable@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: Production branch of FreeBSD source code <freebsd-stable.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-stable>, 
	<mailto:freebsd-stable-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-stable>
List-Post: <mailto:freebsd-stable@freebsd.org>
List-Help: <mailto:freebsd-stable-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-stable>,
	<mailto:freebsd-stable-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 04 Jul 2005 11:26:01 -0000

misael wrote:

># Debugging for use in -current
>#options 	DDB			#Enable the kernel debugger
>#options 	INVARIANTS		#Enable calls of extra sanity checking
>options 	INVARIANT_SUPPORT	#Extra sanity checks of internal structures, required by INVARIANTS
>#options 	WITNESS			#Enable checks to detect deadlocks and cycles
>#options 	WITNESS_SKIPSPIN	#Don't run witness on spinlocks for speed
>  
>
OT: Shouldn't you comment out the INVARIANT_SUPPORT too when INVARIANTS 
is out?