From 023a6c145bed7e7bcb215c061c59efb8b287a50f Mon Sep 17 00:00:00 2001
From: Mike Marchetti <mmarchetti@sandvine.com>
Date: Mon, 15 Oct 2018 10:00:52 -0400
Subject: [PATCH] Add missing build for push

Change-Id: I4ab299b6825b49862f88316780f228e429f9eb23
Signed-off-by: Mike Marchetti <mmarchetti@sandvine.com>
---
 docker/mk/dirs.mk | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docker/mk/dirs.mk b/docker/mk/dirs.mk
index 91100bb9..0a3547ae 100644
--- a/docker/mk/dirs.mk
+++ b/docker/mk/dirs.mk
@@ -32,6 +32,8 @@ test: $(SUBDIRS_TEST)
 
 tag: $(SUBDIRS_TAG)
 
+push: $(SUBDIRS_PUSH)
+
 $(SUBDIRS_CLEAN): %.clean:
 	@$(MAKE) --no-print-directory -C $* clean
 
-- 
2.25.1