diff options
-rw-r--r-- | sys/amd64/conf/Makefile | 4 | ||||
-rw-r--r-- | sys/conf/makeLINT.sed | 7 | ||||
-rw-r--r-- | sys/i386/conf/Makefile | 4 | ||||
-rw-r--r-- | sys/i386/conf/makeLINT.sed | 7 |
4 files changed, 18 insertions, 4 deletions
diff --git a/sys/amd64/conf/Makefile b/sys/amd64/conf/Makefile index ea95176..b0a08d5 100644 --- a/sys/amd64/conf/Makefile +++ b/sys/amd64/conf/Makefile @@ -6,5 +6,5 @@ all: clean: rm LINT -LINT: ../../conf/NOTES NOTES makeLINT.sh - cat ../../conf/NOTES NOTES | sh makeLINT.sh > LINT +LINT: ../../conf/NOTES NOTES makeLINT.sed + cat ../../conf/NOTES NOTES | sed -E -n -f makeLINT.sed > LINT diff --git a/sys/conf/makeLINT.sed b/sys/conf/makeLINT.sed new file mode 100644 index 0000000..757dcab --- /dev/null +++ b/sys/conf/makeLINT.sed @@ -0,0 +1,7 @@ +#!/usr/bin/sed -E -n -f +# $FreeBSD$ + +/^(machine|ident|device|makeoptions|options|profile|cpu|option|maxusers)[[:space:]]/ { + s/[[:space:]]*#.*$// + p +} diff --git a/sys/i386/conf/Makefile b/sys/i386/conf/Makefile index ea95176..b0a08d5 100644 --- a/sys/i386/conf/Makefile +++ b/sys/i386/conf/Makefile @@ -6,5 +6,5 @@ all: clean: rm LINT -LINT: ../../conf/NOTES NOTES makeLINT.sh - cat ../../conf/NOTES NOTES | sh makeLINT.sh > LINT +LINT: ../../conf/NOTES NOTES makeLINT.sed + cat ../../conf/NOTES NOTES | sed -E -n -f makeLINT.sed > LINT diff --git a/sys/i386/conf/makeLINT.sed b/sys/i386/conf/makeLINT.sed new file mode 100644 index 0000000..757dcab --- /dev/null +++ b/sys/i386/conf/makeLINT.sed @@ -0,0 +1,7 @@ +#!/usr/bin/sed -E -n -f +# $FreeBSD$ + +/^(machine|ident|device|makeoptions|options|profile|cpu|option|maxusers)[[:space:]]/ { + s/[[:space:]]*#.*$// + p +} |