diff options
| author | Erich Eckner <git@eckner.net> | 2017-11-01 09:21:32 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-11-01 09:21:32 +0100 |
| commit | a03d5ca817a8065ea5caf0a7a49ee7c133b02964 (patch) | |
| tree | 0cfeb0eacf9d846a4401ff2b97a68909ca9eb338 /bin/get-package-updates | |
| parent | 305a85e6aefe2cfe2fd283c96f761f6c67083ba0 (diff) | |
| download | builder-a03d5ca817a8065ea5caf0a7a49ee7c133b02964.tar.xz | |
bin/db-update, bin/get-package-updates: add TODOs
Diffstat (limited to 'bin/get-package-updates')
| -rwxr-xr-x | bin/get-package-updates | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index 5c83f7f..90b8033 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -148,9 +148,8 @@ 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 +# 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 |