From e408b292d3d93540282887de4cca7d7123aca652 Mon Sep 17 00:00:00 2001
From: youben11 <ayoub.benaissa@zama.ai>
Date: Tue, 31 Aug 2021 10:05:12 +0100
Subject: [PATCH] ci: pulling latest image when building docker img

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 56b60c8c1..cfaabfc30 100644
--- a/Makefile
+++ b/Makefile
@@ -108,11 +108,11 @@ coverage:
 .PHONY: coverage
 
 docker_build:
-	docker build -t $(DEV_DOCKER_IMG) -f $(DEV_DOCKERFILE) .
+	docker build --pull -t $(DEV_DOCKER_IMG) -f $(DEV_DOCKERFILE) .
 .PHONY: docker_build
 
 docker_rebuild:
-	docker build --no-cache -t $(DEV_DOCKER_IMG) -f $(DEV_DOCKERFILE) .
+	docker build --pull --no-cache -t $(DEV_DOCKER_IMG) -f $(DEV_DOCKERFILE) .
 .PHONY: docker_rebuild
 
 docker_start: