diff options
| -rwxr-xr-x | bin/get-package-updates | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 03c1d25..b293543 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -449,6 +449,9 @@ echo 'Check modified packages from the last update, and put them to the build li printf '%s\n' "${package}" >> "${tmp_dir}/modified-packages" # shellcheck disable=SC2154 printf '%s ' "${package}" "${git_revision}" "${new_repo_revisions__archlinux32}" "${repository}" >&2 +# TODO: sometimes we schedule the identical package twice (once "normal" +# and once, because we found the deleted package elsewhere) - this could +# be avoided mysql_generate_package_metadata "${repository_ids__any_to_be_decided}" "${package}" "${git_revision}" "${new_repo_revisions__archlinux32}" "${repository}" printf '\n' >&2 continue |