diff options
| author | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-25 17:26:03 +0000 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz <lucio@lucioillanes.de> | 2020-02-25 17:26:03 +0000 |
| commit | 2b85d0a1de9ec57aab6293163d9885d76a47035c (patch) | |
| tree | 1af88e8d048a80a938eeb2f2ef755afb1db0d367 /subr/pkg_install_strip.subr | |
| parent | 3c8c5672d623aa069082cc9aad5af13fdd69a97a (diff) | |
| download | midipix_build-2b85d0a1de9ec57aab6293163d9885d76a47035c.tar.bz2 midipix_build-2b85d0a1de9ec57aab6293163d9885d76a47035c.tar.xz | |
General cleanup, pt. I.
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 |