svn commit: r342096 - head/sys/riscv/conf

[Mark Johnston]

Author: markj
Date: Fri Dec 14 20:57:57 2018
New Revision: 342096
URL: https://svnweb.freebsd.org/changeset/base/342096

Log:
  Enable witness(4) in the RISC-V GENERIC config.
  
  Reviewed by:	jhb
  MFC after:	1 week
  Sponsored by:	The FreeBSD Foundation
  Differential Revision:	https://reviews.freebsd.org/D18559

Modified:
  head/sys/riscv/conf/GENERIC

Modified: head/sys/riscv/conf/GENERIC
==============================================================================
--- head/sys/riscv/conf/GENERIC	Fri Dec 14 19:48:42 2018	(r342095)
+++ head/sys/riscv/conf/GENERIC	Fri Dec 14 20:57:57 2018	(r342096)
@@ -120,7 +120,7 @@ options 	DDB			# Support DDB.
 options 	DEADLKRES		# Enable the deadlock resolver
 options 	INVARIANTS		# Enable calls of extra sanity checking
 options 	INVARIANT_SUPPORT	# Extra sanity checks of internal structures, required by INVARIANTS
-# options 	WITNESS			# Enable checks to detect deadlocks and cycles
+options 	WITNESS			# Enable checks to detect deadlocks and cycles
 # options 	WITNESS_SKIPSPIN	# Don't run witness on spinlocks for speed
 options 	MALLOC_DEBUG_MAXZONES=8	# Separate malloc(9) zones
 # options 	EARLY_PRINTF