diff options
| -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 57adb00..a47c700 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 && \ |
