diff options
| author | imp <imp@FreeBSD.org> | 2015-09-03 18:14:31 +0000 |
|---|---|---|
| committer | imp <imp@FreeBSD.org> | 2015-09-03 18:14:31 +0000 |
| commit | 4c2ee2f23dd567fdbf1180e491f047e18f0e5930 (patch) | |
| tree | 7ceb9a5b84414c3e472e3cce6e17ccbc5aa3dee5 | |
| parent | 0f92293fc3d025f6dd5eefabcd5499dd78b5295d (diff) | |
| download | FreeBSD-src-4c2ee2f23dd567fdbf1180e491f047e18f0e5930.zip FreeBSD-src-4c2ee2f23dd567fdbf1180e491f047e18f0e5930.tar.gz | |
MFC: r287183, r287264, r287265
Export kern.features.invariants when kernel is compiled with invariants.
| -rw-r--r-- | sys/kern/init_main.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sys/kern/init_main.c b/sys/kern/init_main.c index a7b0526..23b4a6d 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 |
