From 435bedb5f037aa981508af7d2492dd9d7670d151 Mon Sep 17 00:00:00 2001 From: Frank Denis Date: Sat, 22 Oct 2016 08:59:38 +0200 Subject: [PATCH] Only use the `-s` switch with the GNU version of `strip` --- ci/utils.sh | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/ci/utils.sh b/ci/utils.sh index d0e3175f..01881c2e 100644 --- a/ci/utils.sh +++ b/ci/utils.sh @@ -31,11 +31,14 @@ gcc_prefix() { } dostrip() { - local prefix=$(gcc_prefix) + local stu=strip prefix=$(gcc_prefix) if which ${prefix}strip > /dev/null; then - ${prefix}strip -s $1 + stu=${prefix}strip + fi + if strip --version 2>/dev/null | fgrep GNU >/dev/null ; then + $stu -s $1 else - strip -s $1 + $stu $1 fi }