diff options
-rwxr-xr-x | bin/updatebuildmain | 2 | ||||
-rwxr-xr-x | bin/updatebuildrelease | 2 |
2 files changed, 2 insertions, 2 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 diff --git a/bin/updatebuildrelease b/bin/updatebuildrelease index c11c538..d5e5eb8 100755 --- a/bin/updatebuildrelease +++ b/bin/updatebuildrelease @@ -32,8 +32,8 @@ test -z $1 || test -d ./.git || { } # update the build-main branch with our newest blessed reference -git branch -d build-$RELEASE &>/dev/null || true git tag -d build-$RELEASE &>/dev/null || true +git branch -D build-$RELEASE &>/dev/null || true git checkout -b build-$RELEASE $REF || true git push $ORIGIN build-$RELEASE:build-$RELEASE git checkout master |