index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-05-25 09:07:39 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-05-25 09:07:39 +0200 |
commit | 0be03e8056755deaaf1492fa1df38907eade690e (patch) | |
tree | ef9a485711a1b098c249c1494ffc3029cc8da728 /bin/build-packages | |
parent | ad863c02e7b0e7030a920a318fcb9a9963333eb3 (diff) |
-rwxr-xr-x | bin/build-packages | 2 |
diff --git a/bin/build-packages b/bin/build-packages index c6f912c..3d5d2d1 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -282,7 +282,7 @@ while [ "${count}" -ne 0 ] && \ # we get a lock on "${work_dir}/ping-build-master.lock", # if we release that lock, ping-to-master should stop _immediately_ exec 9> "${work_dir}/ping-build-master.lock" - if ! flock -n 9; then + if ! verbose_flock -n 9; then >&2 echo 'ERROR: Cannot lock ping-to-master - this should not happen.' exit 2 fi |