diff options
-rw-r--r-- | gnu/ci.scm | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/ci.scm b/gnu/ci.scm index 44a6a87e1a..fb2596c809 100644 --- a/gnu/ci.scm +++ b/gnu/ci.scm @@ -128,7 +128,6 @@ SYSTEM." (define %cross-targets '("mips64el-linux-gnu" - "mips64el-linux-gnuabi64" "arm-linux-gnueabihf" "aarch64-linux-gnu" "powerpc-linux-gnu" |