Update packaging info script

2017-09-12 23:41:06 +02:00 · 2017-09-12 23:41:06 +02:00 · 5a17bb2fda
commit 5a17bb2fda
parent c45b06657a
1 changed files with 2 additions and 0 deletions
--- a/packaging/update_version_status.sh
+++ b/packaging/update_version_status.sh
@ -3,6 +3,8 @@
 set -e
 set -x

+[ "${FLOCKER}" != "$0" ] && exec env FLOCKER="$0" flock -en "$0" "$0" "$@" || :
+
 exec > ~/tint2.runner-version.log
 exec 2>&1