diff options
author | rwatson <rwatson@FreeBSD.org> | 2002-04-18 03:44:44 +0000 |
---|---|---|
committer | rwatson <rwatson@FreeBSD.org> | 2002-04-18 03:44:44 +0000 |
commit | 0e75d837786bd5808832b1e399c824ee03b2c552 (patch) | |
tree | a0b07032896dd255a4004b23b5a66ee10bd17a54 /sys/amd64 | |
parent | fc9f51621b230cc70b7bcd43335e63af4db92178 (diff) | |
download | FreeBSD-src-0e75d837786bd5808832b1e399c824ee03b2c552.zip FreeBSD-src-0e75d837786bd5808832b1e399c824ee03b2c552.tar.gz |
Since WITNESS doesn't just do mutexes, remove "mutex" from the WITNESS
comment in GENERIC config files of appropriate platforms. For whatever
reason, powerpc didn't use WITNESS in GENERIC.
Diffstat (limited to 'sys/amd64')
-rw-r--r-- | sys/amd64/conf/GENERIC | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/amd64/conf/GENERIC b/sys/amd64/conf/GENERIC index d24a999..6a2eafd 100644 --- a/sys/amd64/conf/GENERIC +++ b/sys/amd64/conf/GENERIC @@ -56,7 +56,7 @@ options KBD_INSTALL_CDEV # install a CDEV entry in /dev 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 mutex checks to detects deadlocks and cycles +options WITNESS #Enable checks to detects deadlocks and cycles options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed # To make an SMP kernel, the next two are needed |