diff --git a/sys/conf/std.nodebug b/sys/conf/std.nodebug index b0bf9d4d47f6..6495bc0203ad 100644 --- a/sys/conf/std.nodebug +++ b/sys/conf/std.nodebug @@ -6,6 +6,7 @@ nooptions INVARIANTS nooptions INVARIANT_SUPPORT nooptions WITNESS nooptions WITNESS_SKIPSPIN +nooptions DEBUG_VFS_LOCKS nooptions BUF_TRACKING nooptions FULL_BUF_TRACKING nooptions DEADLKRES