diff options
Diffstat (limited to 'debian/patches/0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch')
-rw-r--r-- | debian/patches/0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/patches/0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch b/debian/patches/0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch index 2389eb85..35b623f7 100644 --- a/debian/patches/0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch +++ b/debian/patches/0013-Let-dpkg-buildpackage-handle-stripping-of-binaries.patch @@ -7,10 +7,10 @@ Subject: Let dpkg-buildpackage handle stripping of binaries 1 file changed, 4 deletions(-) diff --git a/Makefile b/Makefile -index b169eb7..961e2ce 100644 +index 2ed9f0f..b4aac53 100644 --- a/Makefile +++ b/Makefile -@@ -612,19 +612,15 @@ install: $(TARGETS) $(EXTRA_TARGETS) +@@ -625,19 +625,15 @@ install: $(TARGETS) $(EXTRA_TARGETS) $(INSTALL_SUDO) mkdir -p $(DESTDIR)$(BINDIR) $(INSTALL_SUDO) cp $(TARGETS) $(DESTDIR)$(BINDIR) ifneq ($(filter yosys,$(TARGETS)),) |