Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/conf
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-10-27 15:35:58 +0200
committerErich Eckner <git@eckner.net>2017-10-27 15:35:58 +0200
commit1c26d16709872f97dfce4615a31e472fa0afb3fb (patch)
treea71c15adfd6b11f7321d815a526cb00873509ffc /conf
parent1dfef01eaa3913ae4281d40c1477a56143509f6b (diff)
add shared lock for sanity-check
Diffstat (limited to 'conf')
-rwxr-xr-xconf/default.conf4
1 files changed, 4 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf
index c58849d..a31c41b 100755
--- a/conf/default.conf
+++ b/conf/default.conf
@@ -97,6 +97,10 @@ if [ -z "${build_list_lock_file}" ]; then
build_list_lock_file="${work_dir}/build-list.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"
fi