diff options
author | IOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org> | 2023-07-03 09:57:07 +0200 |
---|---|---|
committer | IOhannes m zmölnig (Debian/GNU) <umlaeute@debian.org> | 2023-07-03 09:57:07 +0200 |
commit | da51df296aa04cbcfeddda51a0f9ffb2f51b7749 (patch) | |
tree | 06a92ea6984684fa801fdb4ecbb95abd73e75804 | |
parent | 413bad4e911fc73b63b992c0291d55c6b181f64b (diff) |
Add lintian-overrides for underlinking false-positives
-rw-r--r-- | debian/lintian-overrides | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/debian/lintian-overrides b/debian/lintian-overrides new file mode 100644 index 0000000..b1d3f5a --- /dev/null +++ b/debian/lintian-overrides @@ -0,0 +1,5 @@ +# this files *are* linked against libc, but don't use any symbols... +library-not-linked-against-libc [usr/lib/pd/extra/maxlib/*.linux-*-64.so] +library-not-linked-against-libc [usr/lib/pd/extra/maxlib/*.pd_linux] +shared-library-lacks-prerequisites [usr/lib/pd/extra/maxlib/*.linux-*-64.so] +shared-library-lacks-prerequisites [usr/lib/pd/extra/maxlib/*.pd_linux] |