diff options
author | Lucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de> | 2016-11-17 17:27:26 +0100 |
---|---|---|
committer | Lucio Andrés Illanes Albornoz (arab, vxp) <l.illanes@gmx.de> | 2016-11-17 19:39:10 +0100 |
commit | 02175d8ad5011d39d1364c1214bb4353d6d87c55 (patch) | |
tree | 7ee7084cc9b61fb83358a30c58b880043920aad1 /subr/strip.subr | |
parent | 47c5cde0345cac95fddf57ddf806c41004be9c9d (diff) | |
download | midipix_build-02175d8ad5011d39d1364c1214bb4353d6d87c55.tar.bz2 midipix_build-02175d8ad5011d39d1364c1214bb4353d6d87c55.tar.xz |
subr/check_updates.subr: support https?://github.com/<uname>/<pname>/...-style ${PKG_URL}s; general cleanup.
Diffstat (limited to 'subr/strip.subr')
-rw-r--r-- | subr/strip.subr | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/subr/strip.subr b/subr/strip.subr index c4e17a3e..64060228 100644 --- a/subr/strip.subr +++ b/subr/strip.subr @@ -7,9 +7,7 @@ do_strip() { && [ "${BUILD}" = release ]; then for __ in $(find ${PREFIX_NATIVE}/bin -perm -0100 \( -type f -or -type l \)); do if objdump -sj .debug_info >/dev/null 2>&1; then - if [ ${ARG_VERBOSE:-0} -eq 1 ]; then - echo ${PKG_TARGET}-strip ${__}; - fi; + log_msg vnfo "${PKG_TARGET}-strip ${__}"; set +o errexit; ${PKG_TARGET}-strip ${__}; set -o errexit; fi; done; |