From af5278d471415df15f577294e4598dd813194aec Mon Sep 17 00:00:00 2001 From: Pino Toscano Date: Sun, 20 Sep 2020 20:01:50 +0100 Subject: [PATCH] Identify PowerPCSPE as PowerPC. Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=623185 Forwarded: no Origin: vendor Last-Update: 2011-04-27 Gbp-Pq: Name powerpcspe.diff --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index cf3c29c6d..376e8a6b2 100755 --- a/configure +++ b/configure @@ -3278,7 +3278,7 @@ if [ -z "${CFG_HOST_ARCH}" ]; then CFG_HOST_ARCH=x86_64 fi ;; - *:*:ppc) + *:*:ppc|*:*:powerpcspe) if [ "$OPT_VERBOSE" = "yes" ]; then echo " 32-bit PowerPC (powerpc)" fi -- 2.30.2