Hi Drew, On Tue, Jan 14, 2025 at 07:39:49PM +0100, Andrew Jones wrote: > On Tue, Jan 14, 2025 at 05:03:20PM +0000, Alexandru Elisei wrote: > ... > > diff --git a/configure b/configure > > index 86cf1da36467..1362b68dd68b 100755 > > --- a/configure > > +++ b/configure > > @@ -15,8 +15,8 @@ objdump=objdump > > readelf=readelf > > ar=ar > > addr2line=addr2line > > -arch=$(uname -m | sed -e 's/i.86/i386/;s/arm64/aarch64/;s/arm.*/arm/;s/ppc64.*/ppc64/') > > -host=$arch > > +host=$(uname -m | sed -e 's/i.86/i386/;s/arm64/aarch64/;s/arm.*/arm/;s/ppc64.*/ppc64/') > > +arch=$(echo $host | sed -e 's/aarch64/arm64/') > > Sure, or avoid the second sed and just do > > host=$(...) > arch=$host > [ "$arch" = "aarch64" ] && arch="arm64" Yep, thanks. Alex