diff options
author | Chris Johns <chrisj@rtems.org> | 2016-11-18 20:41:29 +0000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-11-18 20:41:29 +0000 |
commit | 9c2b60e7120e34156867e9ef5e2229dd79e24b73 (patch) | |
tree | fd1fffab94f6f132d8312bb5760dc60be212b234 | |
parent | Generate the correct version for the RTEMS kernel. Remove autom4te.cache from... (diff) | |
download | rtems-release-9c2b60e7120e34156867e9ef5e2229dd79e24b73.tar.bz2 |
Lets the tagging also push the tags.
-rwxr-xr-x | rtems-release-tag | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rtems-release-tag b/rtems-release-tag index b5b7ecd..9b9077c 100755 --- a/rtems-release-tag +++ b/rtems-release-tag @@ -62,7 +62,7 @@ release=${version}.${revision} # # Enable to push. # -push=no +push=yes # # Repositories to tag. @@ -123,6 +123,7 @@ cd ${ws_tag} git push origin ${release} cd .. done + fi cd .. exit 0 |