summaryrefslogtreecommitdiff
path: root/dh_strip
diff options
context:
space:
mode:
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.*/) {