diff options
Diffstat (limited to 'git')
-rw-r--r-- | git/modules | 1 | ||||
-rwxr-xr-x | git/push.sh | 34 | ||||
-rwxr-xr-x | git/stat.sh | 21 | ||||
-rwxr-xr-x | git/tag.sh | 26 |
4 files changed, 82 insertions, 0 deletions
diff --git a/git/modules b/git/modules new file mode 100644 index 0000000..fe6f2c4 --- /dev/null +++ b/git/modules @@ -0,0 +1 @@ +modules="xsd xsd-etc xsd+dep" diff --git a/git/push.sh b/git/push.sh new file mode 100755 index 0000000..d288f3a --- /dev/null +++ b/git/push.sh @@ -0,0 +1,34 @@ +#! /bin/sh + +# Assume this script never run via PATH. +# +self=`realpath $0` +. `dirname $self`/modules + +wd=`pwd` +br=$1 + +for i in $modules; do + echo "push $i" 1>&2 + cd $i + + if [ -z "$1" ]; then + br=`git symbolic-ref -q HEAD` + br=`echo $br | sed -e 's%^refs/heads/%%'` + fi + + # Also push tags if we are pushing master. + # + if [ "$br" = "master" ]; then + git push --tags origin master + else + git push $ops origin $1 + fi + + if [ $? -ne 0 ]; then + echo "push FAILED" 1>&2 + exit 1 + fi + + cd $wd +done diff --git a/git/stat.sh b/git/stat.sh new file mode 100755 index 0000000..5b9ea45 --- /dev/null +++ b/git/stat.sh @@ -0,0 +1,21 @@ +#! /bin/sh + +# Assume this script never run via PATH. +# +self=`realpath $0` +. `dirname $self`/modules + +wd=`pwd` + +for i in $modules; do + echo "stat $i" 1>&2 + cd $i + git status + + if [ $? -ne 0 ]; then + echo "stat FAILED" 1>&2 + exit 1 + fi + + cd $wd +done diff --git a/git/tag.sh b/git/tag.sh new file mode 100755 index 0000000..935934f --- /dev/null +++ b/git/tag.sh @@ -0,0 +1,26 @@ +#! /bin/sh + +# Assume this script never run via PATH. +# +self=`realpath $0` +. `dirname $self`/modules + +wd=`pwd` + +if [ "$1" = "" ]; then + echo "missing version" 1>&2 + exit 1 +fi + +for i in $modules; do + echo "tag $i" 1>&2 + cd $i + git tag -a $1 -m "Tag version $1" + + if [ $? -ne 0 ]; then + echo "tag FAILED" 1>&2 + exit 1 + fi + + cd $wd +done |