From 1c26d16709872f97dfce4615a31e472fa0afb3fb Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Fri, 27 Oct 2017 15:35:58 +0200
Subject: add shared lock for sanity-check

---
 conf/default.conf | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'conf')

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
-- 
cgit v1.2.3-70-g09d2