diff options
| author | Erich Eckner <git@eckner.net> | 2017-04-23 17:02:43 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-04-23 17:02:43 +0200 |
| commit | 502c397de443a82bf9231efbb0c6f583f5326dc3 (patch) | |
| tree | 77ec15a99be6039b1ba1b98c7f99d791f488f1c6 /conf/default.conf | |
| parent | 61512d1f05d0c6e98e0f9114bd099ba29495b26c (diff) | |
| download | builder-502c397de443a82bf9231efbb0c6f583f5326dc3.tar.xz | |
bin/build-packages started
Diffstat (limited to 'conf/default.conf')
| -rwxr-xr-x | conf/default.conf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index 9da159c..108b517 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -17,6 +17,11 @@ repo_paths["archlinux32"]="${work_dir}/repos/packages32" lock_file="/tmp/${0##*/}.lock" +master_build_server="master.build.server" +master_build_server_port="22" +master_build_server_user="build-user" +master_build_server_identity="${work_dir}/.ssh/id_rsa" + max_parallel_build_per_client=2 # possibly pull in custom modifications |