summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org>2023-07-05 14:06:19 +0200
committerIOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org>2023-07-05 14:06:31 +0200
commitce911431d98b6c22960445dfd66bc4aeed7fccb5 (patch)
tree7b2681f5b2cfbef9a091d1ff4ca3190f0f69a0a4
parent3aa4b733c3cfc570e47138a13b0d1bdefb461971 (diff)
Add lintian-overrides for false-positives regarding underlinking
-rw-r--r--debian/pd-ext13.lintian-overrides5
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/pd-ext13.lintian-overrides b/debian/pd-ext13.lintian-overrides
new file mode 100644
index 0000000..ad9bdb5
--- /dev/null
+++ b/debian/pd-ext13.lintian-overrides
@@ -0,0 +1,5 @@
+# these files *are* linked against libc, but don't use any symbols...
+library-not-linked-against-libc [usr/lib/pd/extra/ext13/*.linux-*-64.so]
+library-not-linked-against-libc [usr/lib/pd/extra/ext13/*.pd_linux]
+shared-library-lacks-prerequisites [usr/lib/pd/extra/ext13/*.linux-*-64.so]
+shared-library-lacks-prerequisites [usr/lib/pd/extra/ext13/*.pd_linux]