diff options
Diffstat (limited to 'scripts/markup_oops.pl')
| -rw-r--r-- | scripts/markup_oops.pl | 5 | 
1 files changed, 1 insertions, 4 deletions
diff --git a/scripts/markup_oops.pl b/scripts/markup_oops.pl index 89774011965..5f0fcb712e2 100644 --- a/scripts/markup_oops.pl +++ b/scripts/markup_oops.pl @@ -184,10 +184,7 @@ if ($target eq "0") {  # if it's a module, we need to find the .ko file and calculate a load offset  if ($module ne "") { -	my $dir = dirname($filename); -	$dir = $dir . "/"; -	my $mod = $module . ".ko"; -	my $modulefile = `find $dir -name $mod | head -1`; +	my $modulefile = `modinfo $module | grep '^filename:' | awk '{ print \$2 }'`;  	chomp($modulefile);  	$filename = $modulefile;  	if ($filename eq "") {  | 
