diff options
| author | Anton Lindqvist <anton@basename.se> | 2019-04-06 01:44:34 +0200 |
|---|---|---|
| committer | Greg Steuck <blackgnezdo@gmail.com> | 2019-04-05 16:44:34 -0700 |
| commit | 2fbd3aa9043e84cdce8328e5084a1fecc6ec5be3 (patch) | |
| tree | b76c94f07d7bd6317eeed467c174e70c44c1b4c4 | |
| parent | fa763482c3e2ef60aa7210e1bff6b206ef814229 (diff) | |
dashboard/config: enable POOL_DEBUG on OpenBSD (#1113)
POOL_DEBUG is disabled during release, but we want it unconditionally
enabled.
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.mp | 1 | ||||
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.sp | 1 |
2 files changed, 2 insertions, 0 deletions
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 |