diff options
| author | Ruslan Ermilov <ru@FreeBSD.org> | 2003-11-28 08:58:44 +0000 |
|---|---|---|
| committer | Ruslan Ermilov <ru@FreeBSD.org> | 2003-11-28 08:58:44 +0000 |
| commit | 69de7f12cb6dace2e5612c712672e9cba9db6698 (patch) | |
| tree | 44bba5e590833354d18dadad3c968c4675aa3dda | |
| parent | 347934fa630483db685b288c70a07621cb6f8721 (diff) | |
Notes
| -rw-r--r-- | tools/tools/release/chk_dokern.sh_and_drivers.conf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/tools/release/chk_dokern.sh_and_drivers.conf b/tools/tools/release/chk_dokern.sh_and_drivers.conf index 57adb004b7fa..a47c700e152b 100644 --- a/tools/tools/release/chk_dokern.sh_and_drivers.conf +++ b/tools/tools/release/chk_dokern.sh_and_drivers.conf @@ -31,7 +31,7 @@ for f in */drivers.conf; do arch=`dirname $f` grep -v '^#' $f | grep -v '^$' | awk '{ print $1 }' | while read x; do - egrep -qw "^(device|options)[[:space:]]+$x" ../sys/${arch}/conf/GENERIC || \ + egrep -qw "^((pseudo-)?device|options)[[:space:]]+$x" ../sys/${arch}/conf/GENERIC || \ echo $x not found in $arch/GENERIC sed -e'/"SMALL"/,/^else$/d' ${arch}/dokern.sh | \ grep -qw $x && \ @@ -46,7 +46,7 @@ for f in */dokern.sh; do grep -w -- -e | sed -e's,^[^/]*/,,' -e's,/.*$,,' | grep -v '^ident\.\*GENERIC$' | while read x; do - egrep -q "^(device|options|makeoptions)[[:space:]]+$x" \ + egrep -q "^((pseudo-)?device|options|makeoptions)[[:space:]]+$x" \ ../sys/${arch}/conf/GENERIC || \ echo $x not found in $arch/GENERIC grep -qw ^$x ${arch}/drivers.conf && \ |