diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-30 14:01:28 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-30 14:01:28 +0100 |
| commit | a186d4ffccab0d255e890dcaf563e2652c5b176e (patch) | |
| tree | 328a5691c73730c35a72a43857e90d4cc4a6254e /bin | |
| parent | 1bef73485855314342c66d9bf43e3c71ffac6cbb (diff) | |
| download | builder-a186d4ffccab0d255e890dcaf563e2652c5b176e.tar.xz | |
bin/get-assignment: clarify comment
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 { |