chiark / gitweb /
~mdw / checkpath / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5608795)
debian/libcheckpath-dev.install: Distribute the static library.
authorMark Wooding <mdw@distorted.org.uk>
Tue, 15 Jul 2014 22:26:51 +0000 (23:26 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 15 Jul 2014 22:34:05 +0000 (23:34 +0100)
debian/libcheckpath-dev.install patch | blob | blame | history

diff --git a/debian/libcheckpath-dev.install b/debian/libcheckpath-dev.install
index ae467628bfbd8339103f0255188cd40c4a5dbe7e..11e56e492beb6b83bc6586ceca85c6f5d0aa24a0 100644 (file)
--- a/debian/libcheckpath-dev.install
+++ b/debian/libcheckpath-dev.install
@@ -1,5 +1,6 @@
 debian/tmp/usr/include
 debian/tmp/usr/share/man/man3
 debian/tmp/usr/include
 debian/tmp/usr/share/man/man3
+debian/tmp/usr/lib/libcheckpath.a
 debian/tmp/usr/lib/libcheckpath.la
 debian/tmp/usr/lib/pkgconfig
 debian/tmp/usr/lib/libcheckpath.so
 debian/tmp/usr/lib/libcheckpath.la
 debian/tmp/usr/lib/pkgconfig
 debian/tmp/usr/lib/libcheckpath.so
Paranoid checking of path ownership