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/makeLINT.sed | |
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/makeLINT.sed')
-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 } |