diff options
author | Erich Eckner <git@eckner.net> | 2018-02-16 16:16:53 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-02-16 16:16:53 +0100 |
commit | 829a12da2951daf1454f5f02eb8b02f3ac675e91 (patch) | |
tree | 34c1ad8fbdfd5ec54cbd56a9f0f27475e16969a6 | |
parent | a4cc68010b9174feef5854fe667079be3d5785dc (diff) | |
download | builder-829a12da2951daf1454f5f02eb8b02f3ac675e91.tar.xz |
bin/get-assignment: add TODO
-rwxr-xr-x | bin/get-assignment | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 1edcffb..083b162 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -166,9 +166,14 @@ if [ -n "${currently_building}" ]; then hand_out_assignment ${currently_building} fi -# a package with all dependencies met or which is part of a loop, -# that we requested or -# which has been built the least times +# TODO: actually implement the below criteria (a.k.a.: "I'm out of time") + +# a package with [all dependencies met or which is part of a loop] +# and which is currently not being built, ordered by: +# 1: we requested it +# 2: its priority +# 3: is not yet built +# 4: was built the longest time ago next_building=$( # shellcheck disable=SC2016 { |