diff options
Diffstat (limited to 'gnu/ci.scm')
| -rw-r--r-- | gnu/ci.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/ci.scm b/gnu/ci.scm index 6ee8499728..e25a772772 100644 --- a/gnu/ci.scm +++ b/gnu/ci.scm @@ -191,6 +191,7 @@ SYSTEM." (define (pointless? target) ;; Return #t if it makes no sense to cross-build to TARGET from SYSTEM. (or (string=? target "avr") ; Nothing for AVR at this time. + (string=? target "or1k-elf") ;; Nothing for or1k-elf at this time. (match system ((or "x86_64-linux" "i686-linux") (if (string-contains target "mingw") |