aboutsummaryrefslogtreecommitdiff
path: root/sys/conf
diff options
context:
space:
mode:
authorJohn Baldwin <jhb@FreeBSD.org>2006-07-27 22:32:30 +0000
committerJohn Baldwin <jhb@FreeBSD.org>2006-07-27 22:32:30 +0000
commit22ea1bc57a98ebb5e159f38635e3a3c2423c716f (patch)
tree47879e45272c43d1dac6fed60572111e89f9a60b /sys/conf
parent7abb84313aa738439074b1bb1ebd3def433b32b5 (diff)
Notes
Diffstat (limited to 'sys/conf')
-rw-r--r--sys/conf/files2
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/conf/files b/sys/conf/files
index 24c8cf5b5cec..a02023bc480d 100644
--- a/sys/conf/files
+++ b/sys/conf/files
@@ -1402,7 +1402,7 @@ kern/sys_generic.c standard
kern/sys_pipe.c standard
kern/sys_process.c standard
kern/sys_socket.c standard
-kern/syscalls.c optional witness
+kern/syscalls.c optional witness | invariants
kern/sysv_ipc.c standard
kern/sysv_msg.c optional sysvmsg
kern/sysv_sem.c optional sysvsem