Add WITNESS_SKIPSPIN to the list of kernel debugging options

that should be enabled.

Reviewed by:	sbruno (earlier version), kib
Sponsored by:	The FreeBSD Foundation
This commit is contained in:
Glen Barber 2014-01-12 05:08:10 +00:00
parent bee119c5d9
commit 211922b979
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=43475

View file

@ -758,6 +758,7 @@ Debugger (msg=0xf01b0383 "Boot flags requested debugger")
options INVARIANTS
options INVARIANT_SUPPORT
options WITNESS
options WITNESS_SKIPSPIN
options DEBUG_LOCKS
options DEBUG_VFS_LOCKS
options DIAGNOSTIC</programlisting>