From 66083ab6c7d3539c1f09fa22a511629faaa5adb1 Mon Sep 17 00:00:00 2001 From: Daniel Krebs Date: Tue, 17 Jan 2017 12:23:44 +0100 Subject: [PATCH] debian: prevent library stripping by debhelper This should produce binaries with the correct format now! --- debian/rules | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/debian/rules b/debian/rules index c389f6952..28818f26d 100755 --- a/debian/rules +++ b/debian/rules @@ -27,3 +27,8 @@ override_dh_auto_install: # delete unneded files that would cause conflicts rm -rf `-pwd`/debian/libhermit/opt/hermit/share/info/dir + +override_dh_strip: + # stripping will incorrectly use system tools for stripping, generating + # wrong binary format, i.e. not for HermitCore + @echo "No stripping"