diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-17 14:51:38 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-17 14:51:38 +0200 |
| commit | cd2540e6a7bcae913be1034d93c7dd2b9a9a704a (patch) | |
| tree | c6ac39f2e67495ecaf325e381d98d77ec208d0b6 /conf | |
| parent | b5e64080699536e7802e1b3dd105032386573f63 (diff) | |
| download | builder-cd2540e6a7bcae913be1034d93c7dd2b9a9a704a.tar.xz | |
use a single lock file for the build list
Diffstat (limited to 'conf')
| -rwxr-xr-x | conf/default.conf | 2 |
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" |