diff options
author | Erich Eckner <git@eckner.net> | 2018-01-17 10:29:24 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-01-17 10:29:24 +0100 |
commit | c11dca46ced3086a7cdb07272ae60868aec95186 (patch) | |
tree | 81c0db07e996df48294b7d770a59f2cc946eb790 | |
parent | 6cb3a734c4a44bf183bbb7b1e16fc496b08efa1d (diff) | |
download | builder-c11dca46ced3086a7cdb07272ae60868aec95186.tar.xz |
bin/build-packages: trigger update of upstream i686 package mirror if necessary
-rwxr-xr-x | bin/build-packages | 5 | ||||
-rwxr-xr-x | conf/default.conf | 4 |
2 files changed, 9 insertions, 0 deletions
diff --git a/bin/build-packages b/bin/build-packages index 0648db3..d827cdb 100755 --- a/bin/build-packages +++ b/bin/build-packages @@ -239,6 +239,11 @@ while [ "${count}" -ne 0 ]; do find_pkgbuilds "${package}" "${repository}" "${git_repo}" "${git_revision}" "${mod_git_revision}" + # trigger update of mirror (if configured) + if [ -n "${mirror_update_command}" ]; then + ${mirror_update_command} + fi + bail_out() { err=$? if [ -n "$1" ]; then diff --git a/conf/default.conf b/conf/default.conf index a73c3db..1d15660 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -100,6 +100,10 @@ staging_package_repositories=$( irc_dir='/home/slave/irc/irc.freenode.net' irc_password='top_secret' +# commands to run to update the i686 package mirror used for installing i686 packages, +# e.g. the one from /etc/pacman.d/mirrorlist32 +mirror_update_command='' + # possibly pull in custom modifications # shellcheck source=/dev/null |