Commit abfe7952 authored by Andrew Robert Nicols's avatar Andrew Robert Nicols

Make "make push" take a tags option

Change-Id: I27e9fec91d9ee77e108d796e94f6d6c7e2b3466a
Signed-off-by: default avatarAndrew Robert Nicols <>
parent 5acb37f7
......@@ -25,4 +25,8 @@ checksignoff:
push: minaccept checksignoff
git push gerrit HEAD:refs/for/master
if test -z "$(TAG)"; then \
git push gerrit HEAD:refs/for/master; \
else \
git push gerrit HEAD:refs/for/master/$(TAG); \
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