diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2014-01-28 15:28:38 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2014-01-28 15:28:38 +0100 |
| commit | 2fc83c747ded932ce84ac0218a8cf19633ca0227 (patch) | |
| tree | aa69bb0f66901926f3bb6ba7b4038dff64285f4e /bin/updatebuildmain | |
| parent | cb17ede63e21de046a1b98c0a3dddeae85aa33b0 (diff) | |
| download | buildscripts-2fc83c747ded932ce84ac0218a8cf19633ca0227.tar.gz buildscripts-2fc83c747ded932ce84ac0218a8cf19633ca0227.tar.bz2 buildscripts-2fc83c747ded932ce84ac0218a8cf19633ca0227.zip | |
fix update scripts for release builds
Diffstat (limited to 'bin/updatebuildmain')
| -rwxr-xr-x | bin/updatebuildmain | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/updatebuildmain b/bin/updatebuildmain index 5a46ea4..9106e0a 100755 --- a/bin/updatebuildmain +++ b/bin/updatebuildmain @@ -31,8 +31,8 @@ test -z $1 || test -d ./.git || { } # update the build-main branch with our newest blessed reference -git branch -d build-main &>/dev/null || true git tag -d build-main &>/dev/null || true +git branch -D build-main &>/dev/null || true git checkout -b build-main $REF || true git push $ORIGIN build-main:build-main git checkout master |