diff options
-rw-r--r-- | scripts/lib/ptxd_make_xpkg_pkg.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/lib/ptxd_make_xpkg_pkg.sh b/scripts/lib/ptxd_make_xpkg_pkg.sh index 25c4f88ab..1947410db 100644 --- a/scripts/lib/ptxd_make_xpkg_pkg.sh +++ b/scripts/lib/ptxd_make_xpkg_pkg.sh @@ -200,7 +200,7 @@ install ${cmd}: case "${strip}" in 0|n|no|N|NO) ;; y|k|"") - if file "${src}" | egrep -q ":.*(executable|shared object|ELF.*relocatable).*stripped"; then + if readelf -h "${src}" > /dev/null 2>&1; then ptxd_install_file_strip "${sdirs[@]/%/${dst}}" fi ;; |