diff options
| -rw-r--r-- | sys/conf/options | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sys/conf/options b/sys/conf/options index 4d295bb13e01..618a02b47bb3 100644 --- a/sys/conf/options +++ b/sys/conf/options @@ -2,16 +2,16 @@ # # On the handling of kernel options # -# All kernel options should be listed in LINT, with suitable +# All kernel options should be listed in NOTES, with suitable # descriptions. Negative options (options that make some code not -# compile) should be commented out; LINT should compile as much code +# compile) should be commented out; LINT (generated from NOTES) should compile as much code # as possible. Try to structure option-using code so that a single # option only switch code on, or only switch code off, to make it # possible to have a full compile-test. If necessary, you can check # for COMPILING_LINT to get maximum code coverage. # # All new options shall also be listed in either "conf/options" or -# "<machine>/conf/options.<machine>". Options that affect a single +# "conf/options.<machine>". Options that affect a single # source-file <xxx>.[c|s] should be directed into "opt_<xxx>.h", while # options that affect multiple files should either go in # "opt_global.h" if this is a kernel-wide option (used just about |