diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2024-06-12 10:36:09 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2024-06-13 08:53:20 +0200 |
| commit | a636bd3bebd078deacdb5bb500f07d25bd364daa (patch) | |
| tree | 5122c5840b61664475a3eeb24a1b9ece1fe23a86 /gnu | |
| parent | f65bbca6e4f067935921bf47835e479d48cb2867 (diff) | |
ci: Add cross-compilation jobs for x86_64-linux-gnux32.
* gnu/ci.scm (cross-jobs)[same?]: Special case x86_64-linux-gnux32.
Change-Id: I877eb50d6b0b0bf10474c58f8e9d5ee92f1705d2
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/ci.scm | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/ci.scm b/gnu/ci.scm index c456c8e2c3..95c63067a8 100644 --- a/gnu/ci.scm +++ b/gnu/ci.scm @@ -192,7 +192,8 @@ SYSTEM." ;; Return true if SYSTEM and TARGET are the same thing. This is so we ;; don't try to cross-compile to 'mips64el-linux-gnu' from ;; 'mips64el-linux'. - (or (string-contains target system) + (or (and (string-contains target system) + (not (string=? "x86_64-linux-gnux32" target))) (and (string-prefix? "armhf" system) ;armhf-linux (string-prefix? "arm" target)))) ;arm-linux-gnueabihf |