diff options
| author | Ayushi Sharma <35501599+ais2397@users.noreply.github.com> | 2020-04-21 00:03:50 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-20 20:33:50 +0200 |
| commit | 98a9f9e692e866ee135a0b488bafc98c78b09ff0 (patch) | |
| tree | 0efc1c87965573ba9ec881b07ceef3189829e424 | |
| parent | f85457bbf0a13d04dcbbb3ebd8d189b1191db6ad (diff) | |
dashboard/config: update NetBSD configs (#1685)
| -rw-r--r-- | dashboard/config/netbsd-kasan.config | 12 | ||||
| -rw-r--r-- | dashboard/config/netbsd-kmsan.config | 29 | ||||
| -rw-r--r-- | dashboard/config/netbsd-kubsan.config | 24 |
3 files changed, 43 insertions, 22 deletions
diff --git a/dashboard/config/netbsd-kasan.config b/dashboard/config/netbsd-kasan.config index d83460dfe..7b5009d62 100644 --- a/dashboard/config/netbsd-kasan.config +++ b/dashboard/config/netbsd-kasan.config @@ -3,9 +3,15 @@ include "arch/amd64/conf/GENERIC" options DEBUG options LOCKDEBUG makeoptions KASAN=1 -options KASAN +options KASAN no options SVS +no options MODULAR +no options MODULAR_DEFAULT_AUTOLOAD options POOL_QUARANTINE options KASAN_PANIC -makeoptions KCOV=1 -options KCOV + +makeoptions KCOV=1 +options KCOV + +pseudo-device vhci +usb* at vhci? diff --git a/dashboard/config/netbsd-kmsan.config b/dashboard/config/netbsd-kmsan.config index 3ad477037..ae44979fa 100644 --- a/dashboard/config/netbsd-kmsan.config +++ b/dashboard/config/netbsd-kmsan.config @@ -1,15 +1,18 @@ include "arch/amd64/conf/GENERIC" -options DEBUG -options LOCKDEBUG - -makeoptions KMSAN=1 -options KMSAN -no options SVS -no options MODULAR -no options MODULAR_DEFAULT_AUTOLOAD -options POOL_QUARANTINE -options KMSAN_PANIC - -makeoptions KCOV=1 -options KCOV +options DEBUG +options LOCKDEBUG + +makeoptions KMSAN=1 +options KMSAN +no options SVS +no options MODULAR +no options MODULAR_DEFAULT_AUTOLOAD +options POOL_NOCACHE +options KMSAN_PANIC + +makeoptions KCOV=1 +options KCOV + +pseudo-device vhci +usb* at vhci? diff --git a/dashboard/config/netbsd-kubsan.config b/dashboard/config/netbsd-kubsan.config index e692f2fd4..0bf67ada6 100644 --- a/dashboard/config/netbsd-kubsan.config +++ b/dashboard/config/netbsd-kubsan.config @@ -1,8 +1,20 @@ include "arch/amd64/conf/GENERIC" -options DEBUG -options LOCKDEBUG -options KUBSAN -options UBSAN_ALWAYS_FATAL -makeoptions KCOV=1 -options KCOV +options DEBUG +options LOCKDEBUG +options KUBSAN +options UBSAN_ALWAYS_FATAL +makeoptions KCOV=1 +options KCOV +options DEBUG +options LOCKDEBUG + +options KUBSAN +options UBSAN_ALWAYS_FATAL + +makeoptions KCOV=1 +options KCOV + +pseudo-device vhci +usb* at vhci? + |