From 040c57e007ee49874e47a7fffa74d7d69178b6a1 Mon Sep 17 00:00:00 2001
From: Jason Heeris <jason.heeris@gmail.com>
Date: Mon, 17 Jun 2019 13:33:30 +1000
Subject: [PATCH] Added gcc_prefix to make_deb() function.

---
 ci/before_deploy.bash | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/ci/before_deploy.bash b/ci/before_deploy.bash
index c22f2dd..ee7bdda 100755
--- a/ci/before_deploy.bash
+++ b/ci/before_deploy.bash
@@ -57,6 +57,7 @@ make_deb() {
     local conflictname
     local homepage
     local maintainer
+    local gcc_prefix
 
     homepage="https://github.com/sharkdp/fd"
     maintainer="David Peter <mail@david-peter.de>"
@@ -64,9 +65,11 @@ make_deb() {
     case $TARGET in
         x86_64*)
             architecture=amd64
+            gcc_prefix=""
             ;;
         i686*)
             architecture=i386
+            gcc_prefix=""
             ;;
         arm*hf)
             architecture=armhf
@@ -90,7 +93,7 @@ make_deb() {
 
     # copy the main binary
     install -Dm755 "target/$TARGET/release/$PROJECT_NAME" "$tempdir/usr/bin/$PROJECT_NAME"
-    strip "$tempdir/usr/bin/$PROJECT_NAME"
+    "${gcc_prefix}"strip "$tempdir/usr/bin/$PROJECT_NAME"
 
     # manpage
     install -Dm644 "doc/$PROJECT_NAME.1" "$tempdir/usr/share/man/man1/$PROJECT_NAME.1"