diff options
| author | Anton Lindqvist <anton@basename.se> | 2019-12-13 20:21:39 +0100 |
|---|---|---|
| committer | Anton Lindqvist <anton@basename.se> | 2019-12-13 20:25:07 +0100 |
| commit | 5b2ca5dad8dbac133c9e8bbb08435555f5786e18 (patch) | |
| tree | e4f35eae062d62a6c5333f7dd7cd3f2e2a280ef0 | |
| parent | a5c1ab05b300370278e59e13f7925ee09d504609 (diff) | |
dashboard/config: enable KQUEUE_DEBUG on OpenBSD
Recently introduced used to validate correctness of kqueue event lists.
| -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 2c442a3e0..fa49bc1ad 100644 --- a/dashboard/config/openbsd-syzkaller.mp +++ b/dashboard/config/openbsd-syzkaller.mp @@ -2,6 +2,7 @@ include "arch/amd64/conf/GENERIC.MP" pseudo-device kcov 1 +option KQUEUE_DEBUG option LOCKF_DIAGNOSTIC option SPLASSERT_WATCH option VFSLCKDEBUG diff --git a/dashboard/config/openbsd-syzkaller.sp b/dashboard/config/openbsd-syzkaller.sp index 6bbaed2b0..703c25931 100644 --- a/dashboard/config/openbsd-syzkaller.sp +++ b/dashboard/config/openbsd-syzkaller.sp @@ -2,6 +2,7 @@ include "arch/amd64/conf/GENERIC" pseudo-device kcov 1 +option KQUEUE_DEBUG option LOCKF_DIAGNOSTIC option SPLASSERT_WATCH option VFSLCKDEBUG |