Implemented "nooption" and "nomakeoption" config(8) tokens.

Fixed memory leak in the "nodevice" option implementation.

Use these instead of sed(1) in MD NOTES.

Use a single makefile (sys/conf/makeLINT.mk) to generate
LINT for all architectures.  (Previous versions missed
the LINT dependency on Makefile, and i386 version also
missed the dependency on ${NOTES}.)

Fixed bugs in the previous NOTES conversion using the
"nodevice" token and sed(1):

- i386 LINT lost "device pst".

- pc98 LINT lost SC_*, MAXCONS and KBD_DISABLE_KEYMAP_LOAD
  options, and got needless DPT_* options.

- Added nooptions PPC_DEBUG, PPC_PROBE_CHIPSET, KBD_INSTALL_CDEV
  to sparc64 LINT so that it has a chance to config(8).

This basically returns us to where we were before.

2 files changed, 12 insertions, 1 deletions

diff --git a/sys/conf/makeLINT.mk b/sys/conf/makeLINT.mk
new file mode 100644
index 0000000..08947a9
--- /dev/null
+++ b/sys/conf/makeLINT.mk
@@ -0,0 +1,11 @@
+# $FreeBSD$
+
+all:
+	@echo "make LINT only"
+
+clean:
+	rm -f LINT
+
+NOTES=	../../conf/NOTES NOTES
+LINT: ${NOTES} ../../conf/makeLINT.sed
+	cat ${NOTES} | sed -E -n -f ../../conf/makeLINT.sed > ${.TARGET}
diff --git a/sys/conf/makeLINT.sed b/sys/conf/makeLINT.sed
index f328f76..83445cf 100644
--- a/sys/conf/makeLINT.sed
+++ b/sys/conf/makeLINT.sed
@@ -1,7 +1,7 @@
 #!/usr/bin/sed -E -n -f
 # $FreeBSD$
 
-/^(machine|ident|device|nodevice|makeoptions|options|profile|cpu|option|maxusers)[[:space:]]/ {
+/^(machine|ident|device|nodevice|makeoptions|nomakeoption|options|option|nooption|profile|cpu|maxusers)[[:space:]]/ {
     s/[[:space:]]*#.*$//
     p
 }