index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | bin/build-packages | 2 | ||||
-rwxr-xr-x | bin/ping-to-master | 3 |
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 diff --git a/bin/ping-to-master b/bin/ping-to-master index 0b72935..b7b1eee 100755 --- a/bin/ping-to-master +++ b/bin/ping-to-master @@ -14,8 +14,9 @@ parent_pid="$1" parent_tmp_dir="$2" +lock_file="$3" -exec 9> "${work_dir}/ping-build-master.lock" +exec 9> "${lock_file}" while kill -0 "${parent_pid}" && \ [ -f "${parent_tmp_dir}/.ping-build-master" ]; do |