diff options
author | Joey Hess <joey@gnu.kitenet.net> | 2009-05-18 15:42:51 -0400 |
---|---|---|
committer | Joey Hess <joey@gnu.kitenet.net> | 2009-05-18 15:42:51 -0400 |
commit | f89b688d5eb629f0e6a1e374ff5a471d62020f64 (patch) | |
tree | 1f84e132e8129bb9f88502bb44d2086a1a1e4176 /dh_strip | |
parent | f68498211da1aec1aeddd94cb778645e2f0f4c2d (diff) |
dh_strip: Also strip OCaml shared libraries. (Stephane Glondu) Closes: #527272
Diffstat (limited to 'dh_strip')
-rwxr-xr-x | dh_strip | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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.*/) { |