diff options
author | Dag-Erling Smørgrav <des@FreeBSD.org> | 2002-05-02 16:34:47 +0000 |
---|---|---|
committer | Dag-Erling Smørgrav <des@FreeBSD.org> | 2002-05-02 16:34:47 +0000 |
commit | cff135d87c4ac4c24b12a0d59025516788774729 (patch) | |
tree | 5dc05abdeee02ef7aa1e2e338ea813b455765781 /sys/conf/makeLINT.sed | |
parent | 8ac00c27676fab702aacee361d81457376c74d85 (diff) | |
download | src-cff135d87c4ac4c24b12a0d59025516788774729.tar.gz src-cff135d87c4ac4c24b12a0d59025516788774729.zip |
Join the pissing contest: generate LINT with a single sed(1) command.
Smaller script, smaller (though equivalent) output.
Notes
Notes:
svn path=/head/; revision=95940
Diffstat (limited to 'sys/conf/makeLINT.sed')
-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 000000000000..757dcab8d7ac --- /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 +} |