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" Thanks, drew
