Fix ppc64 arch name

This commit is contained in:
Paulo Matos 2019-03-11 13:06:45 +01:00
parent 0b4725b200
commit 95784935c6
2 changed files with 4 additions and 4 deletions

View File

@ -170,7 +170,7 @@ test:ubsan:cs:
# * mipsel
# * mips64el
# * s390x
# * ppc64le
# * ppc64el
.preparearch:
image: ubuntu:18.04
@ -238,10 +238,10 @@ test:s390x:
ARCH: "s390x"
JOBS: 6
test:ppc64le:
test:ppc64el:
extends: .preparearch
variables:
ARCH: "ppc64le"
ARCH: "ppc64el"
JOBS: 6

View File

@ -118,7 +118,7 @@ then
;;
*)
echo "Unknown architecture ${ARCH}"
echo "Available archs: amd64, arm64, armel, armhf, i386, mips, mipsel, mips64el, s390x, ppc64le"
echo "Available archs: amd64, arm64, armel, armhf, i386, mips, mipsel, mips64el, s390x, ppc64el"
echo "These are the official names for the debian ports available listed at:"
echo "https://www.debian.org/ports/"
echo "NOTE: we also accept x86_64 as an alias for amd64"