diff options
| author | Anton Lindqvist <anton@basename.se> | 2019-01-23 19:00:44 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-01-24 07:38:43 +0100 |
| commit | ce1ccf972381f6e1ba6e9c9c99655dc20dcbfab3 (patch) | |
| tree | de37e8b520ad1b45931cbf158855735a097e44f9 | |
| parent | 56558f635d1caf18240727f0489a8e23636ad11f (diff) | |
dashboard/config: enable witness on OpenBSD
Lets give this another try now that larger kernels can boot.
| -rw-r--r-- | dashboard/config/openbsd-syzkaller.mp | 2 |
1 files changed, 2 insertions, 0 deletions
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 |