diff options
| author | marcel <marcel@FreeBSD.org> | 2011-10-04 17:11:38 +0000 |
|---|---|---|
| committer | marcel <marcel@FreeBSD.org> | 2011-10-04 17:11:38 +0000 |
| commit | 661ede82860570b8530e911f9fc20086c5cc2938 (patch) | |
| tree | b9a64dde81dac7da1832488ebefad237832b3b45 /sys/conf | |
| parent | eeefa71518cff0426bf83774dceaeaed6028769b (diff) | |
| download | FreeBSD-src-661ede82860570b8530e911f9fc20086c5cc2938.zip FreeBSD-src-661ede82860570b8530e911f9fc20086c5cc2938.tar.gz | |
Match the files directive and all the ways to add or subtract options
and makeoptions by being a little smarter about REs.
Diffstat (limited to 'sys/conf')
| -rw-r--r-- | sys/conf/makeLINT.sed | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/conf/makeLINT.sed b/sys/conf/makeLINT.sed index 83445cf..6b3dab6 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|nomakeoption|options|option|nooption|profile|cpu|maxusers)[[:space:]]/ { +/^(machine|files|ident|(no)?device|(no)?makeoption(s)?|(no)?option(s)?|profile|cpu|maxusers)[[:space:]]/ { s/[[:space:]]*#.*$// p } |
