diff options
Diffstat (limited to 'bin/copy-to-build-support')
| -rwxr-xr-x | bin/copy-to-build-support | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/copy-to-build-support b/bin/copy-to-build-support index e4850f0..82acc50 100755 --- a/bin/copy-to-build-support +++ b/bin/copy-to-build-support @@ -70,11 +70,14 @@ if [ ! -r "$1" ]; then fi exec 9> "${sanity_check_lock_file}" +# shellcheck disable=SC2086 verbose_flock -s ${wait_for_lock} 9 exec 8> "${package_database_lock_file}" +# shellcheck disable=SC2086 verbose_flock ${wait_for_lock} 8 +# shellcheck disable=SC2086 if intentions_left ${wait_for_lock}; then >&2 echo 'come back (shortly) later - There are still intentions in the queue.' exit 1 |