diff options
| -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 62a54c85d2..b003f216ff 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" |