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/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/conf')
| -rw-r--r-- | sys/conf/makeLINT.sed | 7 |
1 files changed, 7 insertions, 0 deletions
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 +} |
