11 version
=`echo $opt | sed 's/[-a-zA-Z0-9]*=//'`
14 repo
=`echo $opt | sed 's/[-a-zA-Z0-9]*=//'`
17 branch
=`echo $opt | sed 's/[-a-zA-Z0-9]*=//'`
26 echo "Invalid option: $opt" 1>&2
35 if [ -z "$version" ]; then
37 echo " $0 --ver=num [--repo=name --branch=name --push]" 1>&2
39 echo " $0 --ver=2.10rc1 --repo=git+ssh://user@repo.or.cz/nasm.git --branch=master --no-push" 1>&2
40 echo " With --no-push the changes are not pushed out to remote repo"
46 echo "$version" > version
48 git commit
-m "NASM $version"
49 git tag
-a -m "NASM $version" "$tag"
51 if [ $push = 1 ]; then
53 git push
$repo $branch