diff options
Diffstat (limited to 'sys/arch/i386/conf/LOCKDOC')
| -rw-r--r-- | sys/arch/i386/conf/LOCKDOC | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/sys/arch/i386/conf/LOCKDOC b/sys/arch/i386/conf/LOCKDOC index 7920a133061..14d7556a892 100644 --- a/sys/arch/i386/conf/LOCKDOC +++ b/sys/arch/i386/conf/LOCKDOC @@ -112,9 +112,8 @@ options BUFQ_PRIOCSCAN #options DIAGNOSTIC # inexpensive kernel consistency checks # XXX to be commented out on release branch options DEBUG # expensive debugging checks/support -options LOCKDEBUG # expensive locking checks/support. Also triggers LOCKDOC experiments -makeoptions LOCKDOC=1 -options LOCKDOC +#options LOCKDEBUG # expensive locking checks/support +options LOCKDOC # LOCKDOC test support #options DDB # in-kernel debugger #options DDB_ONPANIC=1 # see also sysctl(7): `ddb.onpanic' #options DDB_HISTORY_SIZE=512 # enable history editing in DDB |
