diff options
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 } |
