index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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 | |
parent | ecb99b288c713811a3eaf3f53732ca2cda0ba648 (diff) |
-rwxr-xr-x | bin/get-package-updates | 5 |
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}"'}"' |