diff options
| author | Lucio Andrés Illanes Albornoz (arab, vxp) <lucio@lucioillanes.de> | 2017-12-03 16:10:05 +0000 |
|---|---|---|
| committer | Lucio Andrés Illanes Albornoz (arab, vxp) <lucio@lucioillanes.de> | 2017-12-03 16:20:07 +0000 |
| commit | ec19f02f81c206f54a89ef7e1f49715e90470c31 (patch) | |
| tree | a4f6a307e70bad5c4a836a18cbf92b6b0afa0b83 /subr/pkg_install_strip.subr | |
| parent | 16c9cd223ae1809124a163d13e820f19e18e7edc (diff) | |
| download | midipix_build-ec19f02f81c206f54a89ef7e1f49715e90470c31.tar.bz2 midipix_build-ec19f02f81c206f54a89ef7e1f49715e90470c31.tar.xz | |
Separate front end (build.sh, subr/build_*) from dispatcher.
Diffstat (limited to 'subr/pkg_install_strip.subr')
| -rw-r--r-- | subr/pkg_install_strip.subr | 19 |
1 files changed, 5 insertions, 14 deletions
diff --git a/subr/pkg_install_strip.subr b/subr/pkg_install_strip.subr index e91e6eaf..5d232a3c 100644 --- a/subr/pkg_install_strip.subr +++ b/subr/pkg_install_strip.subr @@ -2,8 +2,8 @@ # set -o errexit -o noglob are assumed. # -pkgp_strip_tree() { - local _tree_root="${1}" _bin_path; +pkg_strip() { + local _tree_root="${PKG_DESTDIR}/bin" _bin_path; if [ ! -e "${_tree_root}" ]; then return; fi; @@ -11,21 +11,12 @@ pkgp_strip_tree() { \( -type f -or -type l \)); do set +o errexit; if objdump -sj .debug_info "${_bin_path}" >/dev/null 2>&1; then - ex_log_msg info "Stripping ${_bin_path}..."; - ex_log_msg vnfo "${TARGET}-strip ${_bin_path}"; - ${TARGET}-strip ${_bin_path}; + ex_rtl_log_msg info "Stripping ${_bin_path}..."; + ex_rtl_log_msg vnfo "${PKG_TARGET}-strip ${_bin_path}"; + ${PKG_TARGET}-strip ${_bin_path}; fi; set -o errexit; done; }; -pkg_strip() { - if [ "${PKG_NAME%flavour_minipix}" != "${PKG_NAME}" ] \ - && [ ${ARG_DEBUG_MINIPIX:-0} -eq 0 ]; then - pkgp_strip_tree "${PKG_DESTDIR}"; - elif [ "${BUILD}" = release ]; then - pkgp_strip_tree "${PKG_DESTDIR}/bin"; - fi; -}; - # vim:filetype=sh |