From 10df082e7f8c59628a9470ed5eb7bd80c5471c42 Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@janware.com>
Date: Sat, 29 Apr 2017 21:45:28 +0000
Subject: [PATCH] rules.mk: Add target push

Signed-off-by: Jan Lindemann <jan@janware.com>
---
 make/rules.mk | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/make/rules.mk b/make/rules.mk
index 28709722..cd834b45 100644
--- a/make/rules.mk
+++ b/make/rules.mk
@@ -102,6 +102,9 @@ cvsupdate update:
 cvsdiff diff:
 	if [ -d "CVS" ]; then cvs diff -u || exit 1; else git --no-pager diff || exit 1; fi
 
+push:
+	if [ ! -d "CVS" ]; then git push || exit 1; fi
+
 prepend_header:
 	set -e; for f in $(SRC_UNHEADERED); do sh $(TOPDIR)/hdr/prepend_header.sh $$f; done