Commit be737c85 authored by Sriram Karra's avatar Sriram Karra

Fix the git push --tags cmd in make install

parent 24abfd96
......@@ -102,7 +102,7 @@ endif
@echo ==== Pushing release changes with tags upstream...
cd .. && git push --tags
cd .. && git push --follow-tags
@echo ==== Replacing version identifier in ${src} to dev ver...
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