diff options
| author | jhb <jhb@FreeBSD.org> | 2001-02-22 10:03:05 +0000 |
|---|---|---|
| committer | jhb <jhb@FreeBSD.org> | 2001-02-22 10:03:05 +0000 |
| commit | 8ade3c07b970656888570f03440a4eab1d50ab65 (patch) | |
| tree | 0a1fe0dda9e4446fa9eb58d20de76a30d783b70a /sys/conf | |
| parent | 9177fc64e9e5253241780984ee8a436013c9d04d (diff) | |
| download | FreeBSD-src-8ade3c07b970656888570f03440a4eab1d50ab65.zip FreeBSD-src-8ade3c07b970656888570f03440a4eab1d50ab65.tar.gz | |
Now that zerror() and SPLASSERT() have been laid to rest, INVARIANT_SUPPORT
is no longer needed. R.I.P.
Diffstat (limited to 'sys/conf')
| -rw-r--r-- | sys/conf/NOTES | 10 | ||||
| -rw-r--r-- | sys/conf/options | 1 |
2 files changed, 0 insertions, 11 deletions
diff --git a/sys/conf/NOTES b/sys/conf/NOTES index a7ccfe9..4ebc8c2 100644 --- a/sys/conf/NOTES +++ b/sys/conf/NOTES @@ -361,16 +361,6 @@ options KTR_VERBOSE options INVARIANTS # -# The INVARIANT_SUPPORT option makes us compile in support for -# verifying some of the internal structures. It is a prerequisite for -# 'INVARIANTS', as enabling 'INVARIANTS' will make these functions be -# called. The intent is that you can set 'INVARIANTS' for single -# source files (by changing the source file or specifying it on the -# command line) if you have 'INVARIANT_SUPPORT' enabled. -# -options INVARIANT_SUPPORT - -# # The DIAGNOSTIC option is used to enable extra debugging information # from some parts of the kernel. As this makes everything more noisy, # it is disabled by default. diff --git a/sys/conf/options b/sys/conf/options index 4c97dc4..86198f6 100644 --- a/sys/conf/options +++ b/sys/conf/options @@ -359,7 +359,6 @@ DEBUG_LOCKS opt_global.h DEBUG_VFS_LOCKS opt_global.h DIAGNOSTIC opt_global.h ENABLE_VFS_IOOPT opt_global.h -INVARIANT_SUPPORT opt_global.h INVARIANTS opt_global.h SIMPLELOCK_DEBUG opt_global.h VFS_BIO_DEBUG opt_global.h |
