From 86bbbaba40346590fe57a3efc396fd88628e76fa Mon Sep 17 00:00:00 2001 From: Dima Dorfman Date: Sun, 8 Jul 2001 01:02:37 +0000 Subject: [PATCH] Note that options should be listed in NOTES, not LINT, although LINT is generated from NOTES. Also correct a bogus path; /conf/options. doesn't exist. --- sys/conf/options | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/sys/conf/options b/sys/conf/options index 4d295bb13e0..618a02b47bb 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 -# "/conf/options.". Options that affect a single +# "conf/options.". Options that affect a single # source-file .[c|s] should be directed into "opt_.h", while # options that affect multiple files should either go in # "opt_global.h" if this is a kernel-wide option (used just about