diff options
author | Ludovic Courtès <ludo@gnu.org> | 2024-08-21 22:38:11 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2024-08-31 10:45:48 +0200 |
commit | 7cedba32486677ecace9fab3194917719b7438be (patch) | |
tree | 79684665aad092e227227f0822a50e2a1fe69eed /etc | |
parent | a4319550a0b4d131199c0d6ffbb7fe791072046f (diff) |
maint: Do not check obsolete cross-compilation targets.
This is a followup to e99c838d4f87d6403355bb7b38695e1bc8f697f6, which
removed them from (gnu ci).
* etc/release-manifest.scm (%cross-manifest): Remove more triplets.
Change-Id: I32677fd3876a13277e5b074b973de71895ab9dca
Diffstat (limited to 'etc')
-rw-r--r-- | etc/release-manifest.scm | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/etc/release-manifest.scm b/etc/release-manifest.scm index 62a54c85d22..b003f216fff 100644 --- a/etc/release-manifest.scm +++ b/etc/release-manifest.scm @@ -145,6 +145,11 @@ TARGET." "x86_64-linux-gnu" "i686-linux-gnu" + ;; Ignore obsolete systems, as in (gnu ci). + "mips64el-linux-gnu" + "powerpc-linux-gnu" + "powerpc64-linux-gnu" + ;; Ignore bare-metal targets. "avr" "or1k-elf" |