From: visa <visa@openbsd.org>
Date: Thu, 20 Apr 2017 14:23:53 +0000 (+0000)
Subject: Add option to compile witness(4).
X-Git-Url: http://artulab.com/gitweb/?a=commitdiff_plain;h=260102d4d969b2315ef33950ea1d2d741d4d4475;p=openbsd

Add option to compile witness(4).
---

diff --git a/sys/conf/GENERIC b/sys/conf/GENERIC
index 6dcceb37b01..1e20abf0d5f 100644
--- a/sys/conf/GENERIC
+++ b/sys/conf/GENERIC
@@ -1,4 +1,4 @@
-#	$OpenBSD: GENERIC,v 1.242 2017/04/08 20:53:54 naddy Exp $
+#	$OpenBSD: GENERIC,v 1.243 2017/04/20 14:23:53 visa Exp $
 #
 #	Machine-independent option; used by all architectures for their
 #	GENERIC kernel
@@ -15,6 +15,7 @@ option		KTRACE		# system call tracing, a la ktrace(1)
 option		ACCOUNTING	# acct(2) process accounting
 option		KMEMSTATS	# collect malloc(9) statistics
 option		PTRACE		# ptrace(2) system call
+#option		WITNESS		# witness(4) lock checker
 
 #option		KVA_GUARDPAGES	# slow virtual address recycling (+ guarding)
 option		POOL_DEBUG	# pool corruption detection