]> git.donarmstrong.com Git - debhelper.git/blobdiff - dh_strip
Fix build system auto-selection breakage.
[debhelper.git] / dh_strip
index 2c667bb74bbc9a93e6cfd03ea5ddc597b3254405..0da2e1e772446a32cdbe818ddb10773b6819c2df 100755 (executable)
--- 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.*/) {
@@ -139,7 +140,7 @@ sub testfile {
        if (m/lib.*\.a$/ && ! m/.*_g\.a$/) {
                # Is it a binary file, or something else (maybe a liner
                # script on Hurd, for example? I don't use file, because
-               # file returns a varity of things on static libraries.
+               # file returns a variety of things on static libraries.
                if (-B $_) {
                        push @static_libs, $fn;
                        return;