summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMike Gabriel <mike.gabriel@das-netzwerkteam.de>2011-04-26 00:35:21 +0200
committerMike Gabriel <mike.gabriel@das-netzwerkteam.de>2011-04-26 00:35:21 +0200
commit8f875db205c5868be3de75e0a4946ac305baec07 (patch)
treebf785405a223be4b8e7467f85f547ccc10b4fcdf
parent54569e95a38f7fded955f492751424c54902a043 (diff)
downloadbuildscripts-8f875db205c5868be3de75e0a4946ac305baec07.tar.gz
buildscripts-8f875db205c5868be3de75e0a4946ac305baec07.tar.bz2
buildscripts-8f875db205c5868be3de75e0a4946ac305baec07.zip
script works now after some tests...
-rwxr-xr-xbin/x2go-tagbuildmain7
1 files changed, 4 insertions, 3 deletions
diff --git a/bin/x2go-tagbuildmain b/bin/x2go-tagbuildmain
index 739db07..d79e027 100755
--- a/bin/x2go-tagbuildmain
+++ b/bin/x2go-tagbuildmain
@@ -30,9 +30,10 @@ test -z $1 || test -d ./.git || {
}
# remove old build-main tag on the remote server
-ssh -lx2go code.x2go.org "cd /srv/git/code.x2go.org/$GITPROJECT.git && git tag -d build-main || echo warn: $GITPROJECT.git was not yet tagged with build-main tag..."
+git pull origin
+ssh -lx2go code.x2go.org "cd /srv/git/code.x2go.org/$GITPROJECT.git && git tag -d build-main || echo warn: server-side Git project $GITPROJECT.git was not yet tagged with build-main tag..."
# remove old build-main tag locally
-git tag -d build-main
+git tag -d build-main || echo "warn: local $GITPROJECT.git working copy was not yet tagged with build-main tag..."
-git tag -s build-main -m "debian/build-main tag"
+git tag -s build-main $REF -m "debian/build-main tag"
git push --tags