summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-06-02 14:08:14 +0200
committerErich Eckner <git@eckner.net>2017-06-02 14:08:14 +0200
commit0085111c9e5e4f4082540878b824d83004a43dae (patch)
treeef2b5767e41e557cdb16bf7b5a5f6d48bb439ec0
parent3d5df6ff9aacb3a1529dc0a81142db303a5a1aae (diff)
downloadbuilder-0085111c9e5e4f4082540878b824d83004a43dae.tar.xz
conf/default.conf: move lock file to work directory (since that is, what's being locked)
-rwxr-xr-xconf/default.conf6
1 files changed, 4 insertions, 2 deletions
diff --git a/conf/default.conf b/conf/default.conf
index de0ab65..1d29509 100755
--- a/conf/default.conf
+++ b/conf/default.conf
@@ -21,8 +21,6 @@ repo_paths["packages"]="${work_dir}/repos/packages"
repo_paths["community"]="${work_dir}/repos/community"
repo_paths["archlinux32"]="${work_dir}/repos/packages32"
-build_list_lock_file="/tmp/build-list.lock"
-
master_build_server="master.build.server"
master_build_server_port="22"
master_build_server_user="build-user"
@@ -40,6 +38,10 @@ master_mirror_directory='/path/to/master/mirror'
# check / set up environment
+if [ -z "${build_list_lock_file}" ]; then
+ build_list_lock_file="${work_dir}/build-list.lock"
+fi
+
mkdir -p "${work_dir}"
touch "${work_dir}/build-list"
touch "${work_dir}/deletion-list"