Commit aeceaa53 authored by Gerd Stolpmann's avatar Gerd Stolpmann

pushing tags

parent fb8d2518
......@@ -110,7 +110,7 @@ tag:
status=$(shell git status -uno -s || true)
if $(equal X$(status),X)
git tag -a -m "cache-$(VERSION)" cache-$(VERSION)
git push origin master
git push --tags origin master
println("New tag: cache-$(VERSION)")
else
println("Error: git status not clean")
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment