diff --git a/misc/tag-release b/misc/tag-release index 331e51a9..9e3a0bd0 100755 --- a/misc/tag-release +++ b/misc/tag-release @@ -3,10 +3,9 @@ version="" repo="" branch="" -push=1 +push=0 -for opt in $* -do +for opt; do case "$opt" in --ver=*) version=`echo $opt | sed 's/[-a-zA-Z0-9]*=//'` @@ -17,6 +16,9 @@ do --branch=*) branch=`echo $opt | sed 's/[-a-zA-Z0-9]*=//'` ;; + --push) + push=1 + ;; --no-push) push=0 ;;