From 32cb2383b418e2c22184967ebfa6794ac5a3cf39 Mon Sep 17 00:00:00 2001
From: Richard Mortier <mort@cantab.net>
Date: Fri, 3 May 2019 14:40:57 +0100
Subject: make: push built images for others to use

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

diff --git a/Makefile b/Makefile
index fd5a59d..23c0f1c 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ dabuild: dabuild.in
 	chmod +x dabuild
 
 .PHONY: images
-images: $(patsubst %, build-%, $(TAGS))
+images: $(patsubst %, build-%, $(TAGS)) push
 
 .PHONY: build-%
 build-%:
-- 
cgit v1.2.3