From 2fbd3aa9043e84cdce8328e5084a1fecc6ec5be3 Mon Sep 17 00:00:00 2001 From: Anton Lindqvist Date: Sat, 6 Apr 2019 01:44:34 +0200 Subject: dashboard/config: enable POOL_DEBUG on OpenBSD (#1113) POOL_DEBUG is disabled during release, but we want it unconditionally enabled. --- dashboard/config/openbsd-syzkaller.mp | 1 + dashboard/config/openbsd-syzkaller.sp | 1 + 2 files changed, 2 insertions(+) diff --git a/dashboard/config/openbsd-syzkaller.mp b/dashboard/config/openbsd-syzkaller.mp index 9b9a2bcdf..9deef763c 100644 --- a/dashboard/config/openbsd-syzkaller.mp +++ b/dashboard/config/openbsd-syzkaller.mp @@ -3,6 +3,7 @@ include "arch/amd64/conf/GENERIC.MP" pseudo-device kcov 1 option LOCKF_DIAGNOSTIC +option POOL_DEBUG option WITNESS option WITNESS_LOCKTRACE option WITNESS_WATCH diff --git a/dashboard/config/openbsd-syzkaller.sp b/dashboard/config/openbsd-syzkaller.sp index 0bc73fe91..de3ecb118 100644 --- a/dashboard/config/openbsd-syzkaller.sp +++ b/dashboard/config/openbsd-syzkaller.sp @@ -3,3 +3,4 @@ include "arch/amd64/conf/GENERIC" pseudo-device kcov 1 option LOCKF_DIAGNOSTIC +option POOL_DEBUG -- cgit mrf-deployment