From 28a103aaa20d4edd0fae18a5c1e06e68b63ce797 Mon Sep 17 00:00:00 2001 From: Ruben Undheim Date: Wed, 17 Oct 2018 08:40:22 +0200 Subject: Let dpkg-buildpackage handle stripping of binaries --- debian/patches/series | 1 + 1 file changed, 1 insertion(+) (limited to 'debian/patches/series') diff --git a/debian/patches/series b/debian/patches/series index d2a2706f..e7cc6a43 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -9,3 +9,4 @@ kfreebsd-support.patch 0010-Fix-reproducibility-of-PDF-documents-in-yosys-doc.patch 0010-Fix-adding-of-sys.path-in-yosys-smtbmc.patch 0011-Do-not-show-g-build-flags-in-Version-string.patch +0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch -- cgit v1.2.3