summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2016-05-04 14:12:23 +0200
committerErich Eckner <git@eckner.net>2016-05-04 14:12:23 +0200
commit039b13835e8b571237dbd4611059a3d50fe0a0d7 (patch)
treeb575e83b0206dd9ee7a35468b64adc9bb25dfc95
parentd4620b585bb8b4f55502d15c8d3c5ad7131519be (diff)
downloadcrypt-expiry-check-039b13835e8b571237dbd4611059a3d50fe0a0d7.tar.xz
weniger kraftvolles make dist
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index cb0f343..96a2cae 100644
--- a/Makefile
+++ b/Makefile
@@ -45,9 +45,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