From 9393e271de16d72d0fbb591ca3f6038d44db635f Mon Sep 17 00:00:00 2001 From: cpq Date: Tue, 9 Aug 2022 12:47:27 +0100 Subject: [PATCH] Set dockercmd --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 39ac2eb8..4768f4e5 100644 --- a/Makefile +++ b/Makefile @@ -9,8 +9,8 @@ INCS ?= -Isrc -I. SSL ?= MBEDTLS CWD ?= $(realpath $(CURDIR)) ENV ?= -e Tmp=. -e WINEDEBUG=-all -DOCKERCMD ?= docker -DOCKER ?= $(DOCKERCMD) run --rm $(ENV) -v $(CWD):$(CWD) -w $(CWD) +DOCKERCMD ?= docker run --platform=amd64 +DOCKER ?= $(DOCKERCMD) --rm $(ENV) -v $(CWD):$(CWD) -w $(CWD) VCFLAGS = /nologo /W3 /O2 /MD /I. $(DEFS) $(TFLAGS) IPV6 ?= 1 ASAN ?= -fsanitize=address,undefined -fno-sanitize-recover=all