diff options
| -rw-r--r-- | build-aux/hydra/gnu-system.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build-aux/hydra/gnu-system.scm b/build-aux/hydra/gnu-system.scm index a84cdebbad..26c7b3ca45 100644 --- a/build-aux/hydra/gnu-system.scm +++ b/build-aux/hydra/gnu-system.scm @@ -122,7 +122,8 @@ SYSTEM." (define %cross-targets '("mips64el-linux-gnu" - "mips64el-linux-gnuabi64")) + "mips64el-linux-gnuabi64" + "arm-linux-gnueabihf")) (define (demo-os) "Return the \"demo\" 'operating-system' structure." |