From ce1ccf972381f6e1ba6e9c9c99655dc20dcbfab3 Mon Sep 17 00:00:00 2001 From: Anton Lindqvist Date: Wed, 23 Jan 2019 19:00:44 +0100 Subject: dashboard/config: enable witness on OpenBSD Lets give this another try now that larger kernels can boot. --- dashboard/config/openbsd-syzkaller.mp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/dashboard/config/openbsd-syzkaller.mp b/dashboard/config/openbsd-syzkaller.mp index 3f881cb7c..76e4ec3d8 100644 --- a/dashboard/config/openbsd-syzkaller.mp +++ b/dashboard/config/openbsd-syzkaller.mp @@ -3,3 +3,5 @@ include "arch/amd64/conf/GENERIC.MP" pseudo-device kcov 1 option LOCKF_DIAGNOSTIC +option WITNESS +option WITNESS_WATCH -- cgit mrf-deployment