index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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) |
-rwxr-xr-x | bin/get-package-updates | 3 |
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 |