diff options
| author | Erich Eckner <git@eckner.net> | 2019-11-29 21:05:16 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-11-29 21:05:16 +0100 |
| commit | 4d6658bed1a3e53b6dc0374634f748a48bd4c225 (patch) | |
| tree | 3bb6ae03f3f211d294c3c7a34f3d78e67991f26a /bin/get-package-updates | |
| parent | 71fd7d5f3dd1a8002cc294282d8b043b446437e5 (diff) | |
| download | builder-4d6658bed1a3e53b6dc0374634f748a48bd4c225.tar.xz | |
bin/get-package-updates: add TODO
Diffstat (limited to 'bin/get-package-updates')
| -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 |