Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-07-08 12:34:54 +0200
committerErich Eckner <git@eckner.net>2018-07-08 12:35:06 +0200
commitae6109a8acd9e981d69fe8a3a731e82b4e910b54 (patch)
tree5817270feca9ac20f15cbb7b40c96fd46abf57b9 /lib
parent21ace23e0de67d11c4525554ab22d92eebf4e4d7 (diff)
bin/check-mirrors: use git repository of releng
Diffstat (limited to 'lib')
-rwxr-xr-xlib/load-configuration13
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%/*}"