index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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 /conf/default.conf | |
parent | 3d5df6ff9aacb3a1529dc0a81142db303a5a1aae (diff) |
-rwxr-xr-x | conf/default.conf | 6 |
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" |