diff options
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; |