Author: markj
Date: Fri Dec 14 20:57:57 2018
New Revision: 342096
URL: https://svnweb.freebsd.org/changeset/base/342096

Log:
  Enable witness(4) in the RISC-V GENERIC config.
  
  Reviewed by:  jhb
  MFC after:    1 week
  Sponsored by: The FreeBSD Foundation
  Differential Revision:        https://reviews.freebsd.org/D18559

Modified:
  head/sys/riscv/conf/GENERIC

Modified: head/sys/riscv/conf/GENERIC
==============================================================================
--- head/sys/riscv/conf/GENERIC Fri Dec 14 19:48:42 2018        (r342095)
+++ head/sys/riscv/conf/GENERIC Fri Dec 14 20:57:57 2018        (r342096)
@@ -120,7 +120,7 @@ options     DDB                     # Support DDB.
 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                 # Enable checks to detect deadlocks and 
cycles
 # options      WITNESS_SKIPSPIN        # Don't run witness on spinlocks for 
speed
 options        MALLOC_DEBUG_MAXZONES=8 # Separate malloc(9) zones
 # options      EARLY_PRINTF
_______________________________________________
svn-src-head@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/svn-src-head
To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"

Reply via email to