diff --git a/Makefile b/Makefile index 8f92c4152..c681320ba 100644 --- a/Makefile +++ b/Makefile @@ -270,6 +270,8 @@ endif @git tag -a -m "Release $(VERSION) - $(RELEASE_NAME)" $(VERSION) # - Reverting tagged commit... @git revert --no-edit HEAD + @echo "===================================================================" + @echo "Done! You can now execute 'git push --follow-tags'" # Dummy target to test for GNU make availability _test: