From 4c2ee2f23dd567fdbf1180e491f047e18f0e5930 Mon Sep 17 00:00:00 2001 From: imp Date: Thu, 3 Sep 2015 18:14:31 +0000 Subject: [PATCH] MFC: r287183, r287264, r287265 Export kern.features.invariants when kernel is compiled with invariants. --- sys/kern/init_main.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/sys/kern/init_main.c b/sys/kern/init_main.c index a7b0526c064a..23b4a6d8b66b 100644 --- a/sys/kern/init_main.c +++ b/sys/kern/init_main.c @@ -115,6 +115,10 @@ int bootverbose = BOOTVERBOSE; SYSCTL_INT(_debug, OID_AUTO, bootverbose, CTLFLAG_RW, &bootverbose, 0, "Control the output of verbose kernel messages"); +#ifdef INVARIANTS +FEATURE(invariants, "Kernel compiled with INVARIANTS, may affect performance"); +#endif + /* * This ensures that there is at least one entry so that the sysinit_set * symbol is not undefined. A sybsystem ID of SI_SUB_DUMMY is never