diff options
| -rw-r--r-- | subr/pkg_install_strip.subr | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/subr/pkg_install_strip.subr b/subr/pkg_install_strip.subr index c8c04a46..e94609eb 100644 --- a/subr/pkg_install_strip.subr +++ b/subr/pkg_install_strip.subr @@ -5,14 +5,13 @@ pkg_install_strip() { local _tree_root="${PKG_DESTDIR}" _bin_path=""; if [ -e "${_tree_root}" ]\ - && [ "${BUILD}" != release ]\ + && [ "${BUILD}" = release ]\ && [ "${PKG_BUILD_TYPE}" = native ]; then if [ "${PKG_NAME%_minipix}" != "${PKG_NAME}" ]\ && [ "${ARG_DEBUG_MINIPIX:-0}" -eq 1 ]; then return; fi; - for _bin_path in $(find "${_tree_root}" -perm /a=x \ - \( -type f -or -type l \)); do + for _bin_path in $(find "${_tree_root}" -perm /a=x -type f); do if objdump -sj .debug_info "${_bin_path}" >/dev/null 2>&1; then ex_rtl_log_msg info "Stripping ${_bin_path}..."; ex_rtl_log_msg vnfo "${PKG_TARGET}-strip ${_bin_path}"; |