diff options
Diffstat (limited to 'subr/pkg_install_strip.subr')
| -rw-r--r-- | subr/pkg_install_strip.subr | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/subr/pkg_install_strip.subr b/subr/pkg_install_strip.subr deleted file mode 100644 index e94609eb..00000000 --- a/subr/pkg_install_strip.subr +++ /dev/null @@ -1,24 +0,0 @@ -# -# set -o errexit -o noglob are assumed. -# - -pkg_install_strip() { - local _tree_root="${PKG_DESTDIR}" _bin_path=""; - if [ -e "${_tree_root}" ]\ - && [ "${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); 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}"; - ${PKG_TARGET}-strip ${_bin_path}; - fi; - done; - fi; -}; - -# vim:filetype=sh |