diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-18 20:01:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-18 20:02:45 +0200 |
| commit | a3e362ca913f9137d9a7f9b41c853fd880f9a437 (patch) | |
| tree | 9249b8a007ea9181dbb8e629a20f876b423ea03f | |
| parent | 7e27cdafbfc9f7e370348d28a4c3351fb60026dc (diff) | |
| download | builder-a3e362ca913f9137d9a7f9b41c853fd880f9a437.tar.xz | |
conf/default.conf: new build master
| -rwxr-xr-x | conf/default.conf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/conf/default.conf b/conf/default.conf index 4f4697b..0e9dc6e 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -21,9 +21,9 @@ repo_paths__packages="${work_dir}/repos/packages" repo_paths__community="${work_dir}/repos/community" repo_paths__archlinux32="${work_dir}/repos/packages32" -master_build_server="master.build.server" +master_build_server="buildmaster.archlinux32.org" master_build_server_port="22" -master_build_server_user="build-user" +master_build_server_user="slave" master_build_server_identity="${work_dir}/.ssh/id_rsa" max_parallel_build_per_client=2 |