diff options
| author | Erich Eckner <git@eckner.net> | 2021-03-03 14:53:29 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2021-03-03 14:53:29 +0100 |
| commit | 3f74fc87c5b94cb630940cf20bdfae13acea5740 (patch) | |
| tree | 881092cfa94187c357b73e12b49948385e5dad98 | |
| parent | 10ec52b36c2cee277cac1c2cb84ca8bd66a9942e (diff) | |
| download | builder-3f74fc87c5b94cb630940cf20bdfae13acea5740.tar.xz | |
bin/return-assignment: add yet another TODO regarding haskell rescheduling
| -rwxr-xr-x | bin/return-assignment | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index 7abd6de..d1558af 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -379,6 +379,11 @@ if [ "$6" = 'ERROR' ]; then # TODO: We might want to prioritize broken dependencies, which are already # on the build-list. +# TODO: We might also want to prioritize the returned package if there +# were broken dependencies identified, but none of these is still on the +# build list (e.g. some race condition between this build and its +# dependencies occured). + # now we look if the broken packages have been rebuilt in the meantime haskell_rebuild_packages=$( # shellcheck disable=SC2016 |