summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2017-05-08 15:41:32 +0200
committerLudovic Courtès <ludo@gnu.org>2017-05-08 16:29:24 +0200
commita7e5944e9c50ab7efa6efc6e1a3accdc814d268b (patch)
tree9939653a73287877d80de1eb30bb0342a3e50ed3
parent8872fc0e094c758a183fe95f45807727884ac15a (diff)
maint: Check whether binaries cross-built to "arm-linux-gnueabihf" are available.
* build-aux/check-available-binaries.scm: Add "arm-linux-gnueabihf" as a cross target.
-rw-r--r--build-aux/check-available-binaries.scm3
1 files changed, 2 insertions, 1 deletions
diff --git a/build-aux/check-available-binaries.scm b/build-aux/check-available-binaries.scm
index c9bc5ca4cf..b832d99935 100644
--- a/build-aux/check-available-binaries.scm
+++ b/build-aux/check-available-binaries.scm
@@ -38,7 +38,8 @@
%hydra-supported-systems))
(cross (map (cut package-cross-derivation store
%bootstrap-tarballs <>)
- '("mips64el-linux-gnuabi64")))
+ '("mips64el-linux-gnu"
+ "arm-linux-gnueabihf")))
(total (append native cross)))
(set-build-options store