summaryrefslogtreecommitdiff
path: root/dh_strip
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 /dh_strip
parentf68498211da1aec1aeddd94cb778645e2f0f4c2d (diff)
dh_strip: Also strip OCaml shared libraries. (Stephane Glondu) Closes: #527272
Diffstat (limited to 'dh_strip')
-rwxr-xr-xdh_strip3
1 files changed, 2 insertions, 1 deletions
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.*/) {