From 752613e6154cfd2f5343c901a494e971d6a080b8 Mon Sep 17 00:00:00 2001
From: Anton Lindqvist <anton@basename.se>
Date: Thu, 3 Jan 2019 08:57:09 +0100
Subject: [PATCH] dashboard/config: enable LOCKF_DIAGNOSTIC on OpenBSD

---
 dashboard/config/openbsd-syzkaller.mp | 3 +++
 dashboard/config/openbsd-syzkaller.sp | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/dashboard/config/openbsd-syzkaller.mp b/dashboard/config/openbsd-syzkaller.mp
index 13d57ed9..3f881cb7 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 b82ba573..0bc73fe9 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