diff options
author | Erich Eckner <git@eckner.net> | 2016-05-04 15:54:34 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2016-05-04 15:54:34 +0200 |
commit | 8211d7fed87c1c1237da73ddbb0da50f305f6926 (patch) | |
tree | ff777385dcaca6745892b7cb8daa3e9f7314d73f /Makefile | |
parent | 04f2d805a4e2f99d9fc8b23ce82ac637c024b45a (diff) | |
download | Make-8211d7fed87c1c1237da73ddbb0da50f305f6926.tar.xz |
neue Version: 1.0.2v1.0.2
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -23,7 +23,7 @@ DESTDIR = BINDIR = /usr/bin MANDIR = /usr/share/man -VERSION = 1.0.1 +VERSION = 1.0.2 all: Make Make.8 @@ -40,9 +40,13 @@ install: all install -D -m0644 Make.8 $(DESTDIR)$(MANDIR)/man8/Make.8 dist: clean - (cd .. && tar czvf Make-$(VERSION).tar.gz Make-$(VERSION)) + git status --porcelain 2> /dev/null | grep -q "\S" && (git add .; git commit -m"neue Version: $(VERSION)") || true + ! git tag -d v$(VERSION) 2> /dev/null + git tag v$(VERSION) + git push + git push --tags clean: - rm -f Make Make.8 + rm -f Make Make.8 *.ppu *.o # End of file |