diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-02 14:08:14 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-02 14:08:14 +0200 |
| commit | 0085111c9e5e4f4082540878b824d83004a43dae (patch) | |
| tree | ef2b5767e41e557cdb16bf7b5a5f6d48bb439ec0 | |
| parent | 3d5df6ff9aacb3a1529dc0a81142db303a5a1aae (diff) | |
| download | builder-0085111c9e5e4f4082540878b824d83004a43dae.tar.xz | |
conf/default.conf: move lock file to work directory (since that is, what's being locked)
| -rwxr-xr-x | conf/default.conf | 6 |
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" |