From c6f01e54b02ef07dc498dd3e87174f1612e281a8 Mon Sep 17 00:00:00 2001 From: Anton Lindqvist Date: Tue, 6 Aug 2019 16:29:04 +0200 Subject: dashboard/config: enable VFSLCKDEBUG on OpenBSD In order to assert that vnodes are locked when needed. --- dashboard/config/openbsd-syzkaller.mp | 1 + dashboard/config/openbsd-syzkaller.sp | 1 + 2 files changed, 2 insertions(+) (limited to 'dashboard') diff --git a/dashboard/config/openbsd-syzkaller.mp b/dashboard/config/openbsd-syzkaller.mp index 41b035868..2c442a3e0 100644 --- a/dashboard/config/openbsd-syzkaller.mp +++ b/dashboard/config/openbsd-syzkaller.mp @@ -4,6 +4,7 @@ pseudo-device kcov 1 option LOCKF_DIAGNOSTIC option SPLASSERT_WATCH +option VFSLCKDEBUG option WITNESS option WITNESS_LOCKTRACE option WITNESS_WATCH diff --git a/dashboard/config/openbsd-syzkaller.sp b/dashboard/config/openbsd-syzkaller.sp index 3547029d2..6bbaed2b0 100644 --- a/dashboard/config/openbsd-syzkaller.sp +++ b/dashboard/config/openbsd-syzkaller.sp @@ -4,3 +4,4 @@ pseudo-device kcov 1 option LOCKF_DIAGNOSTIC option SPLASSERT_WATCH +option VFSLCKDEBUG -- cgit mrf-deployment