index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2022-09-28 13:59:58 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2022-09-28 13:59:58 +0200 |
commit | aa166d81abc3be5eb8949cc309755a22c0581c5e (patch) | |
tree | 53e376e2eeca0cc5d6a558d5be3af362c02cb7ba /lib/load-configuration | |
parent | 981e4dbcc23a531f967de9384e1c055fb7785f40 (diff) |
-rwxr-xr-x | lib/load-configuration | 4 |
diff --git a/lib/load-configuration b/lib/load-configuration index 4c825f1..903d65f 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -166,6 +166,10 @@ if [ -z "${build_list_lock_file}" ]; then build_list_lock_file="${work_dir}/build-list.lock" fi +if [ -z "${check_mirrors_lock_file}" ]; then + check_mirrors_lock_file="${work_dir}/check-mirrors.lock" +fi + if [ -z "${harvest_commit_times_lock_file}" ]; then harvest_commit_times_lock_file="${work_dir}/harvest-commit-times.lock" fi |