Mirrors/libhermit
1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00
Code Issues Releases Wiki Activity

debian: prevent library stripping by debhelper

Browse source 
This should produce binaries with the correct format now!
This commit is contained in:
Daniel Krebs 2017-01-17 12:23:44 +01:00
parent 60450d0086
commit 66083ab6c7
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
debian/rules vendored
View file

@ -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"