diff options
| author | Anton Lindqvist <anton@basename.se> | 2019-01-03 08:57:09 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-01-03 09:29:12 +0100 |
| commit | 752613e6154cfd2f5343c901a494e971d6a080b8 (patch) | |
| tree | cab6d166bf326eb1e8c70bf6057ef57e5093f077 /dashboard | |
| parent | 06a2b89fc3e93a6c381a5d9df229766f706b58d0 (diff) | |
dashboard/config: enable LOCKF_DIAGNOSTIC on OpenBSD
Diffstat (limited to 'dashboard')
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.mp | 3 | ||||
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.sp | 3 |
2 files changed, 6 insertions, 0 deletions
diff --git a/dashboard/config/openbsd-syzkaller.mp b/dashboard/config/openbsd-syzkaller.mp index 13d57ed95..3f881cb7c 100644 --- a/dashboard/config/openbsd-syzkaller.mp +++ b/dashboard/config/openbsd-syzkaller.mp @@ -1,2 +1,5 @@ include "arch/amd64/conf/GENERIC.MP" + pseudo-device kcov 1 + +option LOCKF_DIAGNOSTIC diff --git a/dashboard/config/openbsd-syzkaller.sp b/dashboard/config/openbsd-syzkaller.sp index b82ba5734..0bc73fe91 100644 --- a/dashboard/config/openbsd-syzkaller.sp +++ b/dashboard/config/openbsd-syzkaller.sp @@ -1,2 +1,5 @@ include "arch/amd64/conf/GENERIC" + pseudo-device kcov 1 + +option LOCKF_DIAGNOSTIC |