Only use the -s switch with the GNU version of strip

jedisct1 · Oct 22, 2016 · 435bedb · 435bedb
1 parent 64bf7a5
commit 435bedb
Showing 1 changed file with 6 additions and 3 deletions.
diff --git 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
 }