diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-18 09:32:31 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-18 09:32:31 +0200 |
| commit | 4cd96169042d08142ea74b229a0dc5acaa6497f6 (patch) | |
| tree | 1e3ccd9cc7b4b138a2f3700376d7c374733e9262 | |
| parent | e05ca9bad5cfe0045d593dec3fa70d4d2e90dfc4 (diff) | |
| download | builder-4cd96169042d08142ea74b229a0dc5acaa6497f6.tar.xz | |
bin/get-package-updates: update TODO
| -rwxr-xr-x | bin/get-package-updates | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/get-package-updates b/bin/get-package-updates index e6b7711..aceef42 100755 --- a/bin/get-package-updates +++ b/bin/get-package-updates @@ -358,7 +358,8 @@ trigger_rebuild_on_any_file_sed_expression=$( if ${found_package}; then # TODO: moving packages between community64 and packages64 is currently broken # - what exactly is broken? I guess, we're setting the is_to_be_deleted -# flag but should not do so - is that right? +# flag but should not do so - is that right? Maybe we shuold incorporate +# some detection like http://mirror.archlinux32.org/irc-logs/%23archlinux32/2018-06-13.html#21:14:53 mode='M' repository=$( find_package_repository_to_package "${package}" "${repository}" "${git_revision}" |