diff options
-rwxr-xr-x | misc/tag-release | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/misc/tag-release b/misc/tag-release index c42bbd5a..62e3eba5 100755 --- a/misc/tag-release +++ b/misc/tag-release @@ -43,8 +43,10 @@ git commit -m "NASM $version" git tag -a -m "NASM $version" "$tag" if [ $push = 1 ]; then - echo "git push $repo $branch" - echo "git push $repo $tag" - echo "git push --tags $repo" + set -x + git push $repo $branch + git push $repo $tag + git push --tags $repo + set +x fi |