From: Mike Marchetti <mmarchetti@sandvine.com>
Date: Mon, 15 Oct 2018 14:00:52 +0000 (-0400)
Subject: Add missing build for push
X-Git-Tag: v5.0.0~75
X-Git-Url: https://osm.etsi.org/gitweb/?a=commitdiff_plain;h=023a6c145bed7e7bcb215c061c59efb8b287a50f;p=osm%2Fdevops.git

Add missing build for push

Change-Id: I4ab299b6825b49862f88316780f228e429f9eb23
Signed-off-by: Mike Marchetti <mmarchetti@sandvine.com>
---

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