diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-12-06 16:55:10 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-12-06 16:55:10 +0100 |
| commit | 85f267515d439552478cbfcdee7e4d0609ff7310 (patch) | |
| tree | 3494019098bf856d87a3c85b4172852e13f42d26 | |
| parent | 12c3b6cd9a3652ad9587311a2880b8730f159e2b (diff) | |
dashboard/config: fix netbsd kmsan config
| -rw-r--r-- | dashboard/config/netbsd-kmsan.config | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dashboard/config/netbsd-kmsan.config b/dashboard/config/netbsd-kmsan.config index 529f51cd1..3ad477037 100644 --- a/dashboard/config/netbsd-kmsan.config +++ b/dashboard/config/netbsd-kmsan.config @@ -12,4 +12,4 @@ options POOL_QUARANTINE options KMSAN_PANIC makeoptions KCOV=1 -options KCOV
\ No newline at end of file +options KCOV |