aboutsummaryrefslogtreecommitdiffstats
path: root/pkg
diff options
context:
space:
mode:
authorMark Johnston <markjdb@gmail.com>2019-08-02 12:19:12 -0400
committerMark Johnston <markjdb@gmail.com>2019-08-02 14:38:31 -0400
commit6affd8e838ce8a0c7d72445a7f67fe3bde8bbe04 (patch)
tree3dd1525ca03583b8b3b43ab5efa9d04c711089e1 /pkg
parentbac5ccb8fb2e31ff014f0014a1e3fa5731f5d2cc (diff)
pkg/build: Enable additional invariants-checking in FreeBSD kernels
Diffstat (limited to 'pkg')
-rw-r--r--pkg/build/freebsd.go3
1 files changed, 3 insertions, 0 deletions
diff --git a/pkg/build/freebsd.go b/pkg/build/freebsd.go
index 73e234b2c..bc601af25 100644
--- a/pkg/build/freebsd.go
+++ b/pkg/build/freebsd.go
@@ -28,6 +28,9 @@ include "./GENERIC"
ident SYZKALLER
options COVERAGE
options KCOV
+
+options DEBUG_VFS_LOCKS
+options DIAGNOSTIC
`)
}
if err := osutil.WriteFile(filepath.Join(confDir, confFile), config); err != nil {