diff --git a/projects/ima-namespace/ima-utils/Makefile b/projects/ima-namespace/ima-utils/Makefile index 9e9e2f3a6..edac27939 100644 --- a/projects/ima-namespace/ima-utils/Makefile +++ b/projects/ima-namespace/ima-utils/Makefile @@ -7,6 +7,7 @@ DEPS=Dockerfile HASH?=$(shell git ls-tree HEAD -- ../$(notdir $(CURDIR)) | awk '{print $$3}') tag: $(DEPS) + docker pull linuxkit/$(IMAGE):$(HASH) || \ docker build --no-cache -t linuxkit/$(IMAGE):$(HASH) . push: tag