From 7604bb0341ac55d2ee620fa09fd18f06a6c3c727 Mon Sep 17 00:00:00 2001
From: m00nbsd <42475391+m00nbsd@users.noreply.github.com>
Date: Mon, 8 Jun 2020 11:59:03 +0200
Subject: dashboard/config/netbsd: add fault(4) to the kernel build (#1795)

---
 dashboard/config/netbsd-kasan.config  | 2 ++
 dashboard/config/netbsd-kmsan.config  | 2 ++
 dashboard/config/netbsd-kubsan.config | 2 ++
 3 files changed, 6 insertions(+)

diff --git a/dashboard/config/netbsd-kasan.config b/dashboard/config/netbsd-kasan.config
index d638a1a3b..f2e7953af 100644
--- a/dashboard/config/netbsd-kasan.config
+++ b/dashboard/config/netbsd-kasan.config
@@ -14,5 +14,7 @@ options		KASAN_PANIC
 makeoptions	KCOV=1
 options		KCOV
 
+options		FAULT
+
 pseudo-device	vhci
 usb*	at vhci?
diff --git a/dashboard/config/netbsd-kmsan.config b/dashboard/config/netbsd-kmsan.config
index ae44979fa..1b15880db 100644
--- a/dashboard/config/netbsd-kmsan.config
+++ b/dashboard/config/netbsd-kmsan.config
@@ -14,5 +14,7 @@ options		KMSAN_PANIC
 makeoptions	KCOV=1
 options		KCOV
 
+options		FAULT
+
 pseudo-device	vhci
 usb*	at vhci?
diff --git a/dashboard/config/netbsd-kubsan.config b/dashboard/config/netbsd-kubsan.config
index 249b4c2b6..791ca9cef 100644
--- a/dashboard/config/netbsd-kubsan.config
+++ b/dashboard/config/netbsd-kubsan.config
@@ -9,5 +9,7 @@ options		UBSAN_ALWAYS_FATAL
 makeoptions	KCOV=1
 options		KCOV
 
+options		FAULT
+
 pseudo-device	vhci
 usb*	at vhci?
-- 
cgit mrf-deployment