Merge pull request #84 from kjsanger/bugfix/build-with-pull

Build with --pull to fetch updated base images
wtsi-npg · Oct 26, 2023 · f73738a · f73738a
2 parents d9248c5 + 66251f8
commit f73738a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker/Makefile b/docker/Makefile
@@ -10,7 +10,7 @@ endif
 NOW=$(shell date --utc --iso-8601=seconds)
 
 DOCKER_PREFIX?=$(DOCKER_REGISTRY)/$(DOCKER_USER)
-DOCKER_ARGS ?= --platform linux/amd64 --progress=plain --rm
+DOCKER_ARGS ?= --platform linux/amd64 --progress=plain --pull --rm
 
 .PHONY: clean push