Skip site navigation (1)Skip section navigation (2)
Date:      Fri, 14 Dec 2018 20:57:58 +0000 (UTC)
From:      Mark Johnston <markj@FreeBSD.org>
To:        src-committers@freebsd.org, svn-src-all@freebsd.org, svn-src-head@freebsd.org
Subject:   svn commit: r342096 - head/sys/riscv/conf
Message-ID:  <201812142057.wBEKvwEQ097863@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201812142057.wBEKvwEQ097863>