From 85f267515d439552478cbfcdee7e4d0609ff7310 Mon Sep 17 00:00:00 2001 From: Dmitry Vyukov Date: Fri, 6 Dec 2019 16:55:10 +0100 Subject: dashboard/config: fix netbsd kmsan config --- dashboard/config/netbsd-kmsan.config | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit mrf-deployment