diff options
| author | Erich Eckner <git@eckner.net> | 2017-04-23 12:02:07 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-04-23 12:02:07 +0200 |
| commit | 1b08ec576fc105be8542a61aceb1b3683557e4b3 (patch) | |
| tree | 40102ead0f24f5f599fb74c25e2024403346ada2 /conf | |
| parent | 977b56f34af45e9ae72e0648796a18b8c7482215 (diff) | |
| download | builder-1b08ec576fc105be8542a61aceb1b3683557e4b3.tar.xz | |
bin/get-assignment: add max_parallel_build_per_client and some verbosity
Diffstat (limited to 'conf')
| -rwxr-xr-x | conf/default.conf | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index 1517272..0343ba4 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -15,6 +15,8 @@ repo_paths["archlinux32"]="${work_dir}/repos/packages32" lock_file="/tmp/${0##*/}.lock" +max_parallel_build_per_client=2 + # possibly pull in custom modifications [ -r "${base_dir}/conf/local.conf" ] && . "${base_dir}/conf/local.conf" |