diff options
| author | Erich Eckner <git@eckner.net> | 2017-10-30 15:09:00 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-10-30 15:09:00 +0100 |
| commit | 938ec13f0e4bc4d1f1a9d00a28782cd26954e54d (patch) | |
| tree | b2b67f8d834497ad12238be129f49518a5db274f /bin/get-package-updates | |
| parent | ecb99b288c713811a3eaf3f53732ca2cda0ba648 (diff) | |
| download | builder-938ec13f0e4bc4d1f1a9d00a28782cd26954e54d.tar.xz | |
bin/get-package-updates: add TODO
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 83b0107..a90f2ce 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -149,6 +149,11 @@ cp \ "${work_dir}/deletion-list" \ "${work_dir}/deletion-list.new" +# TODO: +# Only tracking PKGBUILDs is ineffective if some error outside of the PKGBUILD (e.g. a missing source file) +# is corrected upstream on the other hand, changing files next to a PKGBUILD should not trigger a rebuild +# if the package was already built successfully. + for repo in ${repo_names}; do eval repo_path='"${repo_paths__'"${repo}"'}"' eval old_repo_revision='"${old_repo_revisions__'"${repo}"'}"' |