svn commit: r237453 - projects/amd64_xen_pv/sys/amd64/conf

[Attilio Rao]

Author: attilio
Date: Fri Jun 22 19:09:15 2012
New Revision: 237453
URL: http://svn.freebsd.org/changeset/base/237453

Log:
  Remove the WITNESS option for XEN.

Modified:
  projects/amd64_xen_pv/sys/amd64/conf/XEN

Modified: projects/amd64_xen_pv/sys/amd64/conf/XEN
==============================================================================
--- projects/amd64_xen_pv/sys/amd64/conf/XEN	Fri Jun 22 18:57:06 2012	(r237452)
+++ projects/amd64_xen_pv/sys/amd64/conf/XEN	Fri Jun 22 19:09:15 2012	(r237453)
@@ -52,8 +52,8 @@ options 	GDB			# Support remote GDB.
 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_SKIPSPIN	# Don't run witness on spinlocks for speed
+nooptions 	WITNESS			# Enable checks to detect deadlocks and cycles
+nooptions 	WITNESS_SKIPSPIN	# Don't run witness on spinlocks for speed
 
 nooption	NATIVE
 option		XEN