diff options
| author | sharkdp <davidpeter@web.de> | 2018-08-18 21:51:19 +0200 |
|---|---|---|
| committer | David Peter <sharkdp@users.noreply.github.com> | 2018-08-19 09:50:24 +0200 |
| commit | 76be0d3933bc3f86a8537f2319e21a74d6b5a354 (patch) | |
| tree | f1dba583d3d0bcb20a833773f7723f2d426a4a25 /ci/before_deploy.bash | |
| parent | e5b8c4471a609991f82183ed6648ffa2b20b130c (diff) | |
Add arm as a compile target
Diffstat (limited to 'ci/before_deploy.bash')
| -rwxr-xr-x | ci/before_deploy.bash | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/ci/before_deploy.bash b/ci/before_deploy.bash index 42dd3986..74ed6040 100755 --- a/ci/before_deploy.bash +++ b/ci/before_deploy.bash @@ -11,17 +11,24 @@ pack() { local tempdir local out_dir local package_name + local gcc_prefix tempdir=$(mktemp -d 2>/dev/null || mktemp -d -t tmp) out_dir=$(pwd) package_name="$PROJECT_NAME-$TRAVIS_TAG-$TARGET" + if [[ $TARGET == "arm-unknown-linux-gnueabihf" ]]; then + gcc_prefix="arm-linux-gnueabihf-" + else + gcc_prefix="" + fi + # create a "staging" directory mkdir "$tempdir/$package_name" # copying the main binary cp "target/$TARGET/release/$PROJECT_NAME" "$tempdir/$package_name/" - strip "$tempdir/$package_name/$PROJECT_NAME" + "${gcc_prefix}"strip "$tempdir/$package_name/$PROJECT_NAME" # readme and license cp README.md "$tempdir/$package_name" @@ -50,8 +57,8 @@ make_deb() { architecture=i386 ;; *) - echo "ERROR: unknown target" >&2 - return 1 + echo "make_deb: skipping target '${TARGET}'" >&2 + return 0 ;; esac version=${TRAVIS_TAG#v} |