From 02175d8ad5011d39d1364c1214bb4353d6d87c55 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lucio=20Andr=C3=A9s=20Illanes=20Albornoz=20=28arab=2C=20vx?=
 =?UTF-8?q?p=29?= <l.illanes@gmx.de>
Date: Thu, 17 Nov 2016 17:27:26 +0100
Subject: subr/check_updates.subr: support
 https?://github.com/<uname>/<pname>/...-style ${PKG_URL}s; general cleanup.

---
 subr/strip.subr | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'subr/strip.subr')

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;
-- 
cgit v1.2.3