Date: Wed, 27 Mar 2002 02:20:32 -0800 (PST) From: Murray Stokely <murray@FreeBSD.org> To: Perforce Change Reviews <perforce@freebsd.org> Subject: PERFORCE change 8487 for review Message-ID: <200203271020.g2RAKWh69798@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200203271020.g2RAKWh69798>