rules.mk: Add target push

Signed-off-by: Jan Lindemann <jan@janware.com>
This commit is contained in:
Jan Lindemann 2017-04-29 21:45:28 +00:00
commit 10df082e7f

View file

@ -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