ci: Cross-build for riscv64-linux-gnu.
authorLudovic Courtès <ludo@gnu.org>
Fri, 31 Jan 2020 12:07:17 +0000 (13:07 +0100)
committerLudovic Courtès <ludo@gnu.org>
Fri, 31 Jan 2020 16:06:16 +0000 (17:06 +0100)
commit2032d8473d11711b88fd3e48644c569dee32fa42
tree5c0f23f13230afa0ad92656e799d351be6209145
parent69961ac3b9db2dbb99abb5c45ff6be3a9c01b5de
ci: Cross-build for riscv64-linux-gnu.

* gnu/ci.scm (%cross-targets): Add "riscv64-linux-gnu".
gnu/ci.scm