diff options
| author | David E. O'Brien <obrien@FreeBSD.org> | 2003-02-23 19:40:45 +0000 |
|---|---|---|
| committer | David E. O'Brien <obrien@FreeBSD.org> | 2003-02-23 19:40:45 +0000 |
| commit | 660a811fcd4e5e69f21d78fe5ae1301ec349c1ed (patch) | |
| tree | 4e2f581b2a0b683c8c61d76af5f47dc260d7c74a /sys/conf/makeLINT.sed | |
| parent | 40578dc8ce3b404793f52b086c5e26b04da39c5f (diff) | |
Notes
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 757dcab8d7ac..f328f7647934 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|makeoptions|options|profile|cpu|option|maxusers)[[:space:]]/ { +/^(machine|ident|device|nodevice|makeoptions|options|profile|cpu|option|maxusers)[[:space:]]/ { s/[[:space:]]*#.*$// p } |