Date: Fri, 22 Jun 2012 19:09:15 +0000 (UTC) From: Attilio Rao <attilio@FreeBSD.org> To: src-committers@freebsd.org, svn-src-projects@freebsd.org Subject: svn commit: r237453 - projects/amd64_xen_pv/sys/amd64/conf Message-ID: <201206221909.q5MJ9FjF095210@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201206221909.q5MJ9FjF095210>