From 14b79382d21c97a8f876969c582e03a4cb78912f Mon Sep 17 00:00:00 2001 From: Erich Eckner Date: Sun, 11 Jun 2023 18:28:58 +0200 Subject: make ping-build-master lock on any file given on the command line --- bin/ping-to-master | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'bin/ping-to-master') 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 -- cgit v1.2.3-70-g09d2