From owner-p4-releng Wed Mar 27 2:20:37 2002 Delivered-To: p4-releng@freebsd.org Received: by hub.freebsd.org (Postfix, from userid 32767) id 4F04037B419; Wed, 27 Mar 2002 02:20:33 -0800 (PST) Delivered-To: perforce@freebsd.org Received: from freefall.freebsd.org (freefall.FreeBSD.org [216.136.204.21]) by hub.freebsd.org (Postfix) with ESMTP id 556D937B417 for ; Wed, 27 Mar 2002 02:20:32 -0800 (PST) Received: (from perforce@localhost) by freefall.freebsd.org (8.11.6/8.11.6) id g2RAKWh69798 for perforce@freebsd.org; Wed, 27 Mar 2002 02:20:32 -0800 (PST) (envelope-from murray@freebsd.org) Date: Wed, 27 Mar 2002 02:20:32 -0800 (PST) Message-Id: <200203271020.g2RAKWh69798@freefall.freebsd.org> X-Authentication-Warning: freefall.freebsd.org: perforce set sender to murray@freebsd.org using -f From: Murray Stokely Subject: PERFORCE change 8487 for review To: Perforce Change Reviews Sender: owner-p4-releng@FreeBSD.ORG Precedence: bulk List-ID: List-Archive: (Web Archive) List-Help: (List Instructions) List-Subscribe: List-Unsubscribe: X-Loop: FreeBSD.ORG http://people.freebsd.org/~peter/p4db/chv.cgi?CH=8487 Change 8487 by murray@murray_builder on 2002/03/27 02:19:41 Turn INVARIANTS back on for the GENERIC kernel. Alpha kernel is now identical to -CURRENT. i386 is different only by commenting out WITNESS. Affected files ... ... //depot/releng/5_dp1/src/sys/alpha/conf/GENERIC#3 edit ... //depot/releng/5_dp1/src/sys/i386/conf/GENERIC#3 edit Differences ... ==== //depot/releng/5_dp1/src/sys/alpha/conf/GENERIC#3 (text+ko) ==== @@ -73,8 +73,8 @@ # 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 INVARIANTS #Enable calls of extra sanity checking +options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS #options WITNESS #Enable mutex checks to detects deadlocks and cycles # To make an SMP kernel, the next line is needed ==== //depot/releng/5_dp1/src/sys/i386/conf/GENERIC#3 (text+ko) ==== @@ -61,8 +61,8 @@ # The following options were disabled for 5.0 DP1 to make a more # usable system for early adopters. -#options INVARIANTS #Enable calls of extra sanity checking -#options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS +options INVARIANTS #Enable calls of extra sanity checking +options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS #options WITNESS #Enable mutex checks to detects deadlocks and cycles #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed To Unsubscribe: send mail to majordomo@FreeBSD.org with "unsubscribe p4-releng" in the body of the message