index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2023-07-17 20:55:55 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2023-07-17 20:55:55 +0200 |
commit | 5b1d7ff5b9c42bed0bcdfcb42ff2f5bb799562fc (patch) | |
tree | c0442f48bbfdd8647a38226dd824997dba8e8b2b /lib/load-configuration | |
parent | 92aa69da7bec790286857c836884be6b7986ce4d (diff) |
-rwxr-xr-x | lib/load-configuration | 4 |
diff --git a/lib/load-configuration b/lib/load-configuration index cc9fe7f..e7af638 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -174,6 +174,10 @@ if [ -z "${harvest_commit_times_lock_file}" ]; then harvest_commit_times_lock_file="${work_dir}/harvest-commit-times.lock" fi +if [ -z "${intentions_lock_file}" ]; then + intentions_lock_file="${work_dir}/intentions.lock" +fi + if [ -z "${package_database_lock_file}" ]; then package_database_lock_file="${work_dir}/package-database.lock" fi |