chore: update build setup for arm64

C0rn3j · Oct 3, 2024 · 53a789d · 53a789d
1 parent a3ef4e5
commit 53a789d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -9,7 +9,7 @@ RUN <<EOR
 
 	# Workaround for outstanding fix of https://bugs.launchpad.net/ubuntu/+source/python-build/+bug/1992108
 	if grep -q ^UBUNTU_CODENAME=jammy /etc/os-release; then
-		echo >>/etc/apt/sources.list.d/jammy-proposed.list 'deb http://archive.ubuntu.com/ubuntu/ jammy-proposed universe'
+		echo >>/etc/apt/sources.list.d/jammy-proposed.list 'deb [arch=amd64] http://archive.ubuntu.com/ubuntu/     jammy-proposed universe'
 		echo >>/etc/apt/sources.list.d/jammy-proposed.list 'deb [arch=arm64] http://ports.ubuntu.com/ubuntu-ports/ jammy-proposed universe'
 	fi