diff options
| author | Erich Eckner <git@eckner.net> | 2016-05-04 13:51:23 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2016-05-04 13:51:23 +0200 |
| commit | 6eee1c3f8be775a2872c29913a161d4b03e589a6 (patch) | |
| tree | 911edf3426ef12000ba9faf6367418fbbd1ff491 | |
| parent | 608ae3752a8719cb43120c9baf706d17b124d9ae (diff) | |
| download | bash-git-prompt-0.10.tar.xz | |
neue Version: 0.10v0.10
| -rw-r--r-- | Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -22,7 +22,7 @@ DESTDIR = BINDIR = /usr/bin -VERSION = 0.9 +VERSION = 0.10 all: bash-git-prompt @@ -37,4 +37,11 @@ install: all clean: rm -f bash-git-prompt +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 v$(VERSION) + git push --force + git push --tags + # End of file |