Improve portability of arch detection in Makefile

'uname -m' is more portable than 'arch'.
seL4 · Oct 27, 2024 · 05b7835 · 05b7835
1 parent a4d1e54
commit 05b7835
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -48,7 +48,7 @@ endif
 
 ETC_LOCALTIME := $(realpath /etc/localtime)
 
-HOST_ARCH ?= $(shell arch)
+HOST_ARCH ?= $(shell uname -m)
 ifeq ($(HOST_ARCH),x86_64)
     DOCKER_PLATFORM := "linux/amd64"
 # Intel Macs report i386 instead of x86_64