index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
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 | |
parent | 305a85e6aefe2cfe2fd283c96f761f6c67083ba0 (diff) |
-rwxr-xr-x | bin/db-update | 2 | ||||
-rwxr-xr-x | bin/get-package-updates | 5 |
diff --git a/bin/db-update b/bin/db-update index 9b3f92f..f304d7b 100755 --- a/bin/db-update +++ b/bin/db-update @@ -16,6 +16,8 @@ # TODO: handle deletion of parts of a split package +# TODO: handle dependencies of parts of a split package separately + # shellcheck disable=SC2039 # shellcheck source=conf/default.conf . "${0%/*}/../conf/default.conf" 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 |