From 5a17bb2fda5a8e38f28187d06642c95ce1f5916b Mon Sep 17 00:00:00 2001 From: o9000 Date: Tue, 12 Sep 2017 23:41:06 +0200 Subject: [PATCH] Update packaging info script --- packaging/update_version_status.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/packaging/update_version_status.sh b/packaging/update_version_status.sh index fb0271f..eae787d 100755 --- 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