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: remove /opt/hermit/share from deb package

Browse source
This commit is contained in:
Daniel Krebs 2017-01-14 03:57:36 +01:00
parent 97e1b583fc
commit c3c4ade56f
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
debian/rules vendored
View file

@ -18,3 +18,6 @@ override_dh_auto_test:
override_dh_auto_install:
make install_libhermit
# delete unneded files that would cause conflicts
rm -rf `-pwd`/debian/libhermit/opt/hermit/share/info/dir