diff options
| author | Anton Lindqvist <anton@basename.se> | 2019-08-06 16:29:04 +0200 |
|---|---|---|
| committer | Anton Lindqvist <anton@basename.se> | 2019-08-06 16:35:28 +0200 |
| commit | c6f01e54b02ef07dc498dd3e87174f1612e281a8 (patch) | |
| tree | d1464bfc42d49e107297fa9c22a242a19092e12d /dashboard | |
| parent | 61b8adda6fa7713f769ebc5525b902e2353ec6e1 (diff) | |
dashboard/config: enable VFSLCKDEBUG on OpenBSD
In order to assert that vnodes are locked when needed.
Diffstat (limited to 'dashboard')
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.mp | 1 | ||||
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.sp | 1 |
2 files changed, 2 insertions, 0 deletions
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 |