diff options
-rwxr-xr-x | debian/rules | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index b2743ec..29bdcd2 100755 --- a/debian/rules +++ b/debian/rules @@ -5,7 +5,7 @@ PACKAGE = pd-plugin pkglibdir = /usr/lib/pd/extra %: - dh $@ + dh --with quilt $@ override_dh_auto_install: make DESTDIR=$(CURDIR)/debian/$(PACKAGE) pkglibdir=$(pkglibdir) install @@ -16,3 +16,6 @@ override_dh_shlibdeps: dpkg-shlibdeps $(CURDIR)/debian/$(PACKAGE)$(pkglibdir)/$(LIBRARY_NAME)/*.pd_linux \ -T$(CURDIR)/debian/$(PACKAGE).substvars +override_dh_strip: + strip --remove-section=.comment --remove-section=.note --strip-unneeded \ + $(CURDIR)/debian/$(PACKAGE)$(pkglibdir)/$(LIBRARY_NAME)/*.pd_linux |