From 260102d4d969b2315ef33950ea1d2d741d4d4475 Mon Sep 17 00:00:00 2001
From: visa <visa@openbsd.org>
Date: Thu, 20 Apr 2017 14:23:53 +0000
Subject: [PATCH] Add option to compile witness(4).

---
 sys/conf/GENERIC | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
2.20.1