diff --git a/packaging/update_version_status.sh b/packaging/update_version_status.sh index e9ea4e2..49b0536 100755 --- a/packaging/update_version_status.sh +++ b/packaging/update_version_status.sh @@ -1,11 +1,12 @@ #!/bin/bash -exec > ~/tint2.runner-version.log -exec 2>&1 - set -e set -x +flock -w 0 ~/tint2.runner-version.log + +exec > ~/tint2.runner-version.log +exec 2>&1 cd ~/tint2.wiki git reset --hard @@ -17,4 +18,4 @@ cat packaging.tmp.md > packaging.md rm packaging.tmp.md git commit -am 'Update packaging info' -git push +git push origin master