diff options
Diffstat (limited to 'bin/get-assignment')
| -rwxr-xr-x | bin/get-assignment | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/get-assignment b/bin/get-assignment index c84fdb3..26b0bff 100755 --- a/bin/get-assignment +++ b/bin/get-assignment @@ -129,6 +129,8 @@ if [ -n "${currently_building}" ]; then hand_out_assignment "${currently_building}" fi +# TODO: currently, toolchain packages ARE HANDED OUT IN PARALLEL - THIS SHOULD NOT BE! + # 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 |