diff options
| author | Erich Eckner <git@eckner.net> | 2017-05-04 22:40:29 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-05-04 22:40:29 +0200 |
| commit | eda35a90de7ebe44362fcb0444c7be5139a4567d (patch) | |
| tree | 7308fbf1381f56a0c5afdd2c5f8e60dc35dab251 /conf | |
| parent | 3efa223dbe2a7738b11af7c3e8479ff9ec8a40d5 (diff) | |
| download | builder-eda35a90de7ebe44362fcb0444c7be5139a4567d.tar.xz | |
main parts should work - still a lot of TODOs left :-)
Diffstat (limited to 'conf')
| -rwxr-xr-x | conf/default.conf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index 8482d81..548bd86 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -24,6 +24,9 @@ master_build_server_identity="${work_dir}/.ssh/id_rsa" max_parallel_build_per_client=2 +repo_key='0xdeadbeef' +master_mirror_directory='/path/to/master/mirror' + # possibly pull in custom modifications [ -r "${base_dir}/conf/local.conf" ] && . "${base_dir}/conf/local.conf" |