diff options
author | IOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org> | 2023-07-05 14:06:19 +0200 |
---|---|---|
committer | IOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org> | 2023-07-05 14:06:31 +0200 |
commit | ce911431d98b6c22960445dfd66bc4aeed7fccb5 (patch) | |
tree | 7b2681f5b2cfbef9a091d1ff4ca3190f0f69a0a4 | |
parent | 3aa4b733c3cfc570e47138a13b0d1bdefb461971 (diff) |
Add lintian-overrides for false-positives regarding underlinking
-rw-r--r-- | debian/pd-ext13.lintian-overrides | 5 |
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] |