index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2017-06-09 14:53:53 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2017-06-09 14:53:53 +0200 |
commit | 40e562a93a293b65b85d7980c871219d8218ec6a (patch) | |
tree | 19e912859e61f195e8d0d7fa603c1a854f634488 /conf | |
parent | 598467074c2cae67336e7279c187b7768bf09849 (diff) |
-rwxr-xr-x | conf/default.conf | 4 |
diff --git a/conf/default.conf b/conf/default.conf index 1d29509..947196f 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -42,6 +42,10 @@ 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 + mkdir -p "${work_dir}" touch "${work_dir}/build-list" touch "${work_dir}/deletion-list" |