From d12cc9f958fc0cef18bb9d2dd00e2aa7f97d9a2e Mon Sep 17 00:00:00 2001
From: Andrea Censi <acensi@ethz.ch>
Date: Mon, 21 Feb 2022 11:20:26 +0100
Subject: fix

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 598e600..83fd1b8 100644
--- a/Makefile
+++ b/Makefile
@@ -8,7 +8,7 @@ pull:
 	docker pull ${DOCKER_REGISTRY}/act4e/act4e-tests:alphubel
 
 build: pull
-	docker build -t $(tag) .
+	docker build --build-arg DOCKER_REGISTRY=${DOCKER_REGISTRY} -t $(tag) .
 
 
 check: build
-- 
cgit v1.2.1