diff options
Diffstat (limited to 'scripts/lib/ptxd_make_xpkg_pkg.sh')
-rw-r--r-- | scripts/lib/ptxd_make_xpkg_pkg.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/lib/ptxd_make_xpkg_pkg.sh b/scripts/lib/ptxd_make_xpkg_pkg.sh index 79f98cf4b..f5be3ac6a 100644 --- a/scripts/lib/ptxd_make_xpkg_pkg.sh +++ b/scripts/lib/ptxd_make_xpkg_pkg.sh @@ -314,11 +314,11 @@ install ${cmd}: echo "using '$(ptxd_print_path "${src}")' instead" fi && - if [ -z "${stip}" ]; then - if readelf -h "${src}" &> /dev/null; then - strip="y" - else + if [ "${strip}" != "n" ]; then + if ! readelf -h "${src}" &> /dev/null; then strip="n" + elif [ -z "${strip}" ]; then + strip="y" fi fi |