diff options
author | rachitchokshi <rachitchokshi@gmail.com> | 2018-09-09 16:56:39 -0700 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2018-09-10 21:24:15 +0200 |
commit | 89d4cb951a2232a60891b14a79047a37d66c585e (patch) | |
tree | 5e22878f02ecbb88f0087873015a9434f451cd3d /ci | |
parent | e9681bf22dd3aedd1ae479df0293cb97e32b49c4 (diff) |
Updated before_deploy.bash to call version of strip specific to aarch64 target
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/before_deploy.bash | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/before_deploy.bash b/ci/before_deploy.bash index ea5c1725..7cc4d874 100755 --- a/ci/before_deploy.bash +++ b/ci/before_deploy.bash @@ -19,6 +19,8 @@ pack() { if [[ $TARGET == "arm-unknown-linux-gnueabihf" ]]; then gcc_prefix="arm-linux-gnueabihf-" + elif [[ $TARGET == "aarch64-unknown-linux-gnu" ]]; then + gcc_prefix="aarch64-linux-gnu-" else gcc_prefix="" fi |