diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -210,10 +210,10 @@ vcheck: push: vcheck echo "tagging git with $(VERSION)" - git push + git push origin master git push github master git tag $(VERSION) - git push --tags + git push origin master --tags git push github master --tags commit: vcheck |