diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-08 12:34:54 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-08 12:35:06 +0200 |
| commit | ae6109a8acd9e981d69fe8a3a731e82b4e910b54 (patch) | |
| tree | 5817270feca9ac20f15cbb7b40c96fd46abf57b9 /conf | |
| parent | 21ace23e0de67d11c4525554ab22d92eebf4e4d7 (diff) | |
| download | builder-ae6109a8acd9e981d69fe8a3a731e82b4e910b54.tar.xz | |
bin/check-mirrors: use git repository of releng
Diffstat (limited to 'conf')
| -rwxr-xr-x | conf/master.conf.example | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/conf/master.conf.example b/conf/master.conf.example index a3093e8..488f7ce 100755 --- a/conf/master.conf.example +++ b/conf/master.conf.example @@ -18,6 +18,9 @@ # root directory of the webserver #webserver_directory='/srv/http' +# directory of the releng git repository +#releng_directory="${work_dir}/repos/releng" + # directory to keep the build log files in #build_log_directory='/srv/http/build-logs' |