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-6eee1c3f8be775a2872c29913a161d4b03e589a6.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 |