diff options
| author | rachitchokshi <36342425+rachitchokshi@users.noreply.github.com> | 2018-09-11 12:03:53 -0700 |
|---|---|---|
| committer | David Peter <sharkdp@users.noreply.github.com> | 2018-09-11 21:03:53 +0200 |
| commit | f0d936763c552c3c5ca913333c0aef3a9d43900d (patch) | |
| tree | 90e3eb54c5d5411c178d3705769506d2e8bb3124 /ci | |
| parent | e1ecc17f69f1d84fb127203a45e4abd88babab07 (diff) | |
provide armhf deb packages (#301)
* Enabled deb packaging for armhf architecture
closes #280.
Diffstat (limited to 'ci')
| -rwxr-xr-x | ci/before_deploy.bash | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ci/before_deploy.bash b/ci/before_deploy.bash index 913fce44..16cb261c 100755 --- a/ci/before_deploy.bash +++ b/ci/before_deploy.bash @@ -66,6 +66,10 @@ make_deb() { architecture=arm64 gcc_prefix="aarch64-linux-gnu-" ;; + arm*hf) + architecture=armhf + gcc_prefix="arm-linux-gnueabihf-" + ;; *) echo "make_deb: skipping target '${TARGET}'" >&2 return 0 |