diff options
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.mp | 1 | ||||
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.sp | 1 |
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 |