diff options
author | Erich Eckner <git@eckner.net> | 2016-05-04 14:12:23 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2016-05-04 14:12:23 +0200 |
commit | 039b13835e8b571237dbd4611059a3d50fe0a0d7 (patch) | |
tree | b575e83b0206dd9ee7a35468b64adc9bb25dfc95 | |
parent | d4620b585bb8b4f55502d15c8d3c5ad7131519be (diff) | |
download | crypt-expiry-check-039b13835e8b571237dbd4611059a3d50fe0a0d7.tar.xz |
weniger kraftvolles make dist
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |