diff options
| -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}"'}"' |