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 /lib/load-configuration | |
parent | 21ace23e0de67d11c4525554ab22d92eebf4e4d7 (diff) | |
download | builder-ae6109a8acd9e981d69fe8a3a731e82b4e910b54.tar.xz |
bin/check-mirrors: use git repository of releng
Diffstat (limited to 'lib/load-configuration')
-rwxr-xr-x | lib/load-configuration | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/lib/load-configuration b/lib/load-configuration index 7a6a4f3..8c893fc 100755 --- a/lib/load-configuration +++ b/lib/load-configuration @@ -29,6 +29,8 @@ fi if [ "$(hostname)" = 'buildmaster.archlinux32.org' ]; then i_am_the_master=true + + releng_directory="${work_dir}/repos/releng" else i_am_the_master=false @@ -128,9 +130,16 @@ fi mkdir -p "${work_dir}" -for repo in ${repo_names}; do +for repo in ${repo_names} 'releng'; do - eval repo_path='"${repo_paths__'"${repo}"'}"' + if [ "${repo}" = 'releng' ]; then + if [ -z "${releng_directory}" ]; then + continue + fi + repo_path="${releng_directory}" + else + eval repo_path='"${repo_paths__'"${repo}"'}"' + fi mkdir -p "${repo_path%/*}" |