index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2023-06-11 18:28:58 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2023-06-11 18:29:07 +0200 |
commit | 14b79382d21c97a8f876969c582e03a4cb78912f (patch) | |
tree | 2251283556efda1a50edb824d5064b99daf95f5f /bin/build-packages | |
parent | 4dc67340ac9e397a9f54fa744976790ae7c61454 (diff) |
-rwxr-xr-x | bin/build-packages | 2 |
diff --git a/bin/build-packages b/bin/build-packages index ef24b5e..76c1b73 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -367,7 +367,7 @@ while [ "${count}" -ne 0 ] && \ >&2 echo 'ERROR: Cannot lock ping-to-master - this should not happen.' exit 2 fi - "${base_dir}/bin/ping-to-master" "$$" "${tmp_dir}" & + "${base_dir}/bin/ping-to-master" "$$" "${tmp_dir}" "${work_dir}/ping-build-master.lock" & fi success=false |