diff options
| author | des <des@FreeBSD.org> | 2002-05-02 16:34:47 +0000 |
|---|---|---|
| committer | des <des@FreeBSD.org> | 2002-05-02 16:34:47 +0000 |
| commit | afc18879ad40c4d1a381b4ba469adcf7538b2931 (patch) | |
| tree | 5dc05abdeee02ef7aa1e2e338ea813b455765781 /sys/i386/conf | |
| parent | 7661600390e4659d8ada8ee6821c6557113e0768 (diff) | |
| download | FreeBSD-src-afc18879ad40c4d1a381b4ba469adcf7538b2931.zip FreeBSD-src-afc18879ad40c4d1a381b4ba469adcf7538b2931.tar.gz | |
Join the pissing contest: generate LINT with a single sed(1) command.
Smaller script, smaller (though equivalent) output.
Diffstat (limited to 'sys/i386/conf')
| -rw-r--r-- | sys/i386/conf/Makefile | 4 | ||||
| -rw-r--r-- | sys/i386/conf/makeLINT.sed | 7 |
2 files changed, 9 insertions, 2 deletions
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 +} |
