From ae5325f5f75aaed70dbf040120224aa3c1b15087 Mon Sep 17 00:00:00 2001 From: Pino Toscano Date: Mon, 24 Jan 2022 10:55:59 +0000 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