Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/conf/default.conf
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-05-17 14:51:38 +0200
committerErich Eckner <git@eckner.net>2017-05-17 14:51:38 +0200
commitcd2540e6a7bcae913be1034d93c7dd2b9a9a704a (patch)
treec6ac39f2e67495ecaf325e381d98d77ec208d0b6 /conf/default.conf
parentb5e64080699536e7802e1b3dd105032386573f63 (diff)
use a single lock file for the build list
Diffstat (limited to 'conf/default.conf')
-rwxr-xr-xconf/default.conf2
1 files changed, 1 insertions, 1 deletions
diff --git a/conf/default.conf b/conf/default.conf
index dfc9905..8dac45a 100755
--- a/conf/default.conf
+++ b/conf/default.conf
@@ -20,7 +20,7 @@ repo_paths["packages"]="${work_dir}/repos/packages"
repo_paths["community"]="${work_dir}/repos/community"
repo_paths["archlinux32"]="${work_dir}/repos/packages32"
-lock_file="/tmp/${0##*/}.lock"
+build_list_lock_file="/tmp/build-list.lock"
master_build_server="master.build.server"
master_build_server_port="22"