Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/bin/ping-to-master
diff options
context:
space:
mode:
Diffstat (limited to 'bin/ping-to-master')
-rwxr-xr-xbin/ping-to-master3
1 files changed, 2 insertions, 1 deletions
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