Less verbose "make retag" command

This commit is contained in:
Régis Behmo 2019-02-18 09:57:59 +01:00
parent b05eed92d5
commit 93528d862f
1 changed files with 2 additions and 2 deletions

View File

@ -12,10 +12,10 @@ tag: ## Create a release, update the "latest" tag and push them to origin
$(MAKE) retag TAG=latest
retag:
echo "=== Creating tag $(TAG)"
@echo "=== Creating tag $(TAG)"
git tag -d $(TAG) || true
git tag $(TAG)
echo "=== Pushing tag $(TAG)"
@echo "=== Pushing tag $(TAG)"
git push origin :$(TAG) || true
git push origin $(TAG)