From owner-svn-src-projects@FreeBSD.ORG  Fri Jun 22 19:09:16 2012
Return-Path: <owner-svn-src-projects@FreeBSD.ORG>
Delivered-To: svn-src-projects@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 2B531106566B;
	Fri, 22 Jun 2012 19:09:16 +0000 (UTC)
	(envelope-from attilio@FreeBSD.org)
Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:4f8:fff6::2c])
	by mx1.freebsd.org (Postfix) with ESMTP id 171428FC14;
	Fri, 22 Jun 2012 19:09:16 +0000 (UTC)
Received: from svn.freebsd.org (localhost [127.0.0.1])
	by svn.freebsd.org (8.14.4/8.14.4) with ESMTP id q5MJ9Fjp095212;
	Fri, 22 Jun 2012 19:09:15 GMT (envelope-from attilio@svn.freebsd.org)
Received: (from attilio@localhost)
	by svn.freebsd.org (8.14.4/8.14.4/Submit) id q5MJ9FjF095210;
	Fri, 22 Jun 2012 19:09:15 GMT (envelope-from attilio@svn.freebsd.org)
Message-Id: <201206221909.q5MJ9FjF095210@svn.freebsd.org>
From: Attilio Rao <attilio@FreeBSD.org>
Date: Fri, 22 Jun 2012 19:09:15 +0000 (UTC)
To: src-committers@freebsd.org, svn-src-projects@freebsd.org
X-SVN-Group: projects
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Cc: 
Subject: svn commit: r237453 - projects/amd64_xen_pv/sys/amd64/conf
X-BeenThere: svn-src-projects@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: "SVN commit messages for the src &quot; projects&quot;
	tree" <svn-src-projects.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/svn-src-projects>, 
	<mailto:svn-src-projects-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-src-projects>
List-Post: <mailto:svn-src-projects@freebsd.org>
List-Help: <mailto:svn-src-projects-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-src-projects>, 
	<mailto:svn-src-projects-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 22 Jun 2012 19:09:16 -0000

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