From 8900c9a319057640181c377451f3b2781f9fc0c2 Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Wed, 4 May 2016 14:12:24 +0200 Subject: weniger kraftvolles make dist --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 8e3e857..c62684e 100644 --- a/Makefile +++ b/Makefile @@ -40,9 +40,9 @@ clean: dist: clean git status --porcelain 2> /dev/null | grep -q "\S" && (git add .; git commit -m"neue Version: $(VERSION)") || true - git tag -d v$(VERSION) && git push origin --delete v$(VERSION) || true + ! git tag -d v$(VERSION) 2> /dev/null git tag v$(VERSION) - git push --force + git push git push --tags # End of file -- cgit v1.2.3-70-g09d2