diff options
author | Erich Eckner <git@eckner.net> | 2018-09-08 13:40:52 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-09-08 13:40:52 +0200 |
commit | fbbb282fd5eb26b2c6f66c24e62ab98625ae3c3a (patch) | |
tree | 14621ebec07897e9cac36b4a28d63ec3df2360d3 /lib | |
parent | 7ce25b7eb99c8e2fa536d2842f012ebba4f40b55 (diff) | |
download | builder-fbbb282fd5eb26b2c6f66c24e62ab98625ae3c3a.tar.xz |
new lock-file status.lock
Diffstat (limited to 'lib')
-rwxr-xr-x | lib/load-configuration | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/lib/load-configuration b/lib/load-configuration index 6a94976..0100bd9 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -136,12 +136,16 @@ if [ -z "${build_list_lock_file}" ]; then build_list_lock_file="${work_dir}/build-list.lock" fi +if [ -z "${package_database_lock_file}" ]; then + package_database_lock_file="${work_dir}/package-database.lock" +fi + if [ -z "${sanity_check_lock_file}" ]; then sanity_check_lock_file="${work_dir}/sanity-check.lock" fi -if [ -z "${package_database_lock_file}" ]; then - package_database_lock_file="${work_dir}/package-database.lock" +if [ -z "${status_lock_file}" ]; then + status_lock_file="${work_dir}/status.lock" fi mkdir -p "${work_dir}" |