12 version
=`echo $opt | sed 's/[-a-zA-Z0-9]*=//'`
15 repo
=`echo $opt | sed 's/[-a-zA-Z0-9]*=//'`
18 branch
=`echo $opt | sed 's/[-a-zA-Z0-9]*=//'`
29 if [ -z "$version" ]; then
31 echo " $0 --ver=num [--repo=name --branch=name --push]" 1>&2
33 echo " $0 --ver=2.10rc1 --repo=git+ssh://user@repo.or.cz/nasm.git --branch=master --no-push" 1>&2
34 echo " With --no-push the changes are not pushed out to remote repo"
40 echo "$version" > version
42 git commit
-m "NASM $version"
43 git tag
-a -m "NASM $version" "$tag"
45 if [ $push = 1 ]; then
46 echo "git push $repo $branch"
47 echo "git push $repo $tag"
48 echo "git push --tags $repo"