diff options
| author | Erich Eckner <git@eckner.net> | 2016-05-04 14:09:04 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2016-05-04 14:09:04 +0200 |
| commit | c0a283cc3f06e89c3ce1dd144d08aaa53ed374b7 (patch) | |
| tree | 8b0d54b767087464e2f035f66787aaf4ce05efc7 | |
| parent | 6eee1c3f8be775a2872c29913a161d4b03e589a6 (diff) | |
| download | bash-git-prompt-c0a283cc3f06e89c3ce1dd144d08aaa53ed374b7.tar.xz | |
weniger kraftvolles make dist
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -39,9 +39,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 |