diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/get-assignment | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index 270367e..298ea78 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -139,7 +139,9 @@ if [ -n "${currently_building}" ]; then hand_out_assignment ${currently_building} fi -# packages with all dependencies met, ordered by number of failed trials +# a package with all dependencies met or which is part of a loop, +# that we requested or +# which has been built the least times next_building=$( # shellcheck disable=SC2016 { |