Update the docker registry

[validation.git] / docker / Makefile

diff --git a/docker/Makefile b/docker/Makefile
index 65ad526..426d22d 100644 (file)
--- a/docker/Makefile
+++ b/docker/Makefile
@@ -25,6 +25,9 @@ all: $(SUBDIRS_NAME)
 .PHONY: build-all
 build-all: $(SUBDIRS_BUILD)
 
+.PHONY: push-all
+push-all: $(SUBDIRS_PUSH)
+
 .PHONY: $(SUBDIRS_NAME)
 $(SUBDIRS_NAME):
        $(MAKE) -C $@
@@ -33,4 +36,8 @@ $(SUBDIRS_NAME):
 $(SUBDIRS_BUILD): $(SUBDIRS)
        $(MAKE) -C $< build
 
+.PHONY: $(SUBDIRS_PUSH)
+$(SUBDIRS_PUSH): $(SUBDIRS)
+       $(MAKE) -C $< .push_image
+
 include build.mk