2019-02-15 10:39:41 +01:00
|
|
|
#!/bin/sh -e
|
|
|
|
flist=$1
|
|
|
|
modules=$2
|
|
|
|
output=$3
|
2019-03-19 09:08:50 +01:00
|
|
|
mod_builtin=$4
|
2019-02-15 10:39:41 +01:00
|
|
|
|
|
|
|
while read MOD ; do
|
|
|
|
[ -n "$MOD" ] || continue
|
2021-09-03 07:05:56 +02:00
|
|
|
cat $flist | grep -E "/$MOD[.]ko([.]xz|[.]gz|[.]zst)?\$" >> $output || { grep -q /$MOD[.]ko\$ $mod_builtin && echo Module $MOD built-in ;} || echo Module $MOD missing
|
2019-02-15 10:39:41 +01:00
|
|
|
done < $modules
|