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 " @@ -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"