summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJoey Hess <joey@gnu.kitenet.net>2009-05-18 15:42:51 -0400
committerJoey Hess <joey@gnu.kitenet.net>2009-05-18 15:42:51 -0400
commitf89b688d5eb629f0e6a1e374ff5a471d62020f64 (patch)
tree1f84e132e8129bb9f88502bb44d2086a1a1e4176
parentf68498211da1aec1aeddd94cb778645e2f0f4c2d (diff)
dh_strip: Also strip OCaml shared libraries. (Stephane Glondu) Closes: #527272
-rw-r--r--debian/changelog7
-rwxr-xr-xdh_strip3
2 files changed, 9 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog
index 19f3df6e..adc29a2d 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+debhelper (7.2.15) UNRELEASED; urgency=low
+
+ * dh_strip: Also strip OCaml shared libraries. (Stephane Glondu)
+ Closes: #527272
+
+ -- Joey Hess <joeyh@debian.org> Mon, 18 May 2009 15:42:04 -0400
+
debhelper (7.2.14) unstable; urgency=low
* dh: Avoid writing log after override_dh_clean is run. Closes: #529228
diff --git a/dh_strip b/dh_strip
index 2c667bb7..cfa26653 100755
--- a/dh_strip
+++ b/dh_strip
@@ -115,7 +115,8 @@ sub testfile {
return if $fn=~m/debug\/.*\.so/;
# Does its filename look like a shared library?
- if (m/.*\.so.*?/) {
+ # (*.cmxs are OCaml native code shared libraries)
+ if (m/.*\.(so.*?|cmxs$)/) {
# Ok, do the expensive test.
my $type=get_file_type($_);
if ($type=~m/.*ELF.*shared.*/) {