tools: add --platform arg when possible

make script more resilient/cross-platform
2023-11-16 18:17:12 +01:00
parent 7f48cd9a9a
commit 857c353f71
4 changed files with 7 additions and 6 deletions
--- a/tools/docker/Makefile
+++ b/tools/docker/Makefile
@@ -212,7 +212,7 @@ define manylinux_inner =
 .PHONY: python_$1_manylinux_cp$2_$3
 python_$1_manylinux_cp$2_$3: python/$1/manylinux.Dockerfile export/python/manylinux/build-manylinux.sh
 	@docker image rm -f ${IMAGE}:$$@ 2>/dev/null
-	${DOCKER_BUILD_CMD} \
+	${DOCKER_BUILDX_CMD} --platform linux/$1 \
 --tag ${IMAGE}:$$@ \
 --build-arg GIT_BRANCH=${OR_TOOLS_BRANCH} \
 --build-arg GIT_SHA1=${OR_TOOLS_SHA1} \