aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGreg Steuck <gnezdo@google.com>2019-04-13 13:29:12 -0700
committerDmitry Vyukov <dvyukov@google.com>2019-04-14 10:44:34 +0200
commit505ab413c77ce8c6bd4658ea5e68ea2534d47b39 (patch)
tree457031aac5d399558afa19f78b1a33e3cc2657e4
parentc402d8f1aa5d2fdc219d2155fa467fb7f02321a5 (diff)
Revert "dashboard/config: enable POOL_DEBUG on OpenBSD (#1113)"
This reverts commit 2fbd3aa9043e84cdce8328e5084a1fecc6ec5be3.
-rw-r--r--dashboard/config/openbsd-syzkaller.mp1
-rw-r--r--dashboard/config/openbsd-syzkaller.sp1
2 files changed, 0 insertions, 2 deletions
diff --git a/dashboard/config/openbsd-syzkaller.mp b/dashboard/config/openbsd-syzkaller.mp
index 9deef763c..9b9a2bcdf 100644
--- a/dashboard/config/openbsd-syzkaller.mp
+++ b/dashboard/config/openbsd-syzkaller.mp
@@ -3,7 +3,6 @@ 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 de3ecb118..0bc73fe91 100644
--- a/dashboard/config/openbsd-syzkaller.sp
+++ b/dashboard/config/openbsd-syzkaller.sp
@@ -3,4 +3,3 @@ include "arch/amd64/conf/GENERIC"
pseudo-device kcov 1
option LOCKF_DIAGNOSTIC
-option POOL_DEBUG