From 15dc8fcc6515414238e01dfb86cc085ea0b32557 Mon Sep 17 00:00:00 2001
From: Guillem Jover <guillem@debian.org>
Date: Fri, 26 Apr 2013 23:58:05 +0200
Status: applied
Debbug: 706242
Subject: [PATCH] c/binaries: Ignore kernel modules for
 shared-lib-without-dependency-information

Signed-off-by: Guillem Jover <guillem@debian.org>
---
 checks/binaries | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/checks/binaries b/checks/binaries
index 717eec6..a8436ba 100644
--- a/checks/binaries
+++ b/checks/binaries
@@ -374,8 +374,9 @@ foreach my $file ($info->sorted_index) {
     # statically linked?
     if (! scalar (@{ $objdump->{NEEDED} }) ) {
         if ($fileinfo =~ m/shared object/o) {
-            # Some exceptions: detached debugging information and the dynamic
-            # loader (which itself has no dependencies).
+            # Some exceptions: kernel modules, detached debugging information
+            # and the dynamic loader (which itself has no dependencies).
+            next if ($file =~ m%^lib/modules/%);
             next if ($file =~ m%^usr/lib/debug/%);
             next if ($file =~ m%^lib(?:|32|64)/(?:[\w/]+/)?ld-[\d.]+\.so$%);
             tag 'shared-lib-without-dependency-information', $file;
-- 
1.8.2.1

