From 752613e6154cfd2f5343c901a494e971d6a080b8 Mon Sep 17 00:00:00 2001 From: Anton Lindqvist Date: Thu, 3 Jan 2019 08:57:09 +0100 Subject: dashboard/config: enable LOCKF_DIAGNOSTIC on OpenBSD --- dashboard/config/openbsd-syzkaller.mp | 3 +++ dashboard/config/openbsd-syzkaller.sp | 3 +++ 2 files changed, 6 insertions(+) (limited to 'dashboard') 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 -- cgit mrf-deployment