summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2016-05-04 14:12:24 +0200
committerErich Eckner <git@eckner.net>2016-05-04 14:12:24 +0200
commit8900c9a319057640181c377451f3b2781f9fc0c2 (patch)
treee6f75b2d03667aa291c9fbacced54ddf02488d52 /Makefile
parentfb94216e1c118742642f1443eed488db79ed6bd1 (diff)
downloadrunjobsparallel-8900c9a319057640181c377451f3b2781f9fc0c2.tar.xz
weniger kraftvolles make dist
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
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