diff options
| -rwxr-xr-x | strip_files | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/strip_files b/strip_files index 743e426..0afe4d7 100755 --- a/strip_files +++ b/strip_files @@ -34,7 +34,7 @@ sub testfile { if (m/.*\.so.*?/) { # Ok, do the expensive test. my $type=`file $_`; - if ($type=~m/.*ELF.*shared.*/) { + if ($type=~m/.*ELF.*shared/) { push @shared_libs, $fn; return; } @@ -45,7 +45,7 @@ sub testfile { if ($mode & 0111) { # Ok, expensive test. my $type=`file $_`; - if ($type=~m/.*ELF.*executable.*/) { + if ($type=~m/.*ELF.*executable/) { push @executables, $fn; return; } |