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 /bin | |
| parent | 6cb3a734c4a44bf183bbb7b1e16fc496b08efa1d (diff) | |
| download | builder-c11dca46ced3086a7cdb07272ae60868aec95186.tar.xz | |
bin/build-packages: trigger update of upstream i686 package mirror if necessary
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/build-packages | 5 |
1 files changed, 5 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 |