diff options
| author | Erich Eckner <git@eckner.net> | 2018-08-09 21:40:12 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-08-09 21:40:12 +0200 |
| commit | f14b37c680945a17c4df98f1e73c2e1a02139ca9 (patch) | |
| tree | 9ed12f5234b25b90ed1cddf85836718200e6dd0c /bin/get-assignment | |
| parent | 00991b076b0e6ff27be05b24b0412d4c0a867975 (diff) | |
| download | builder-f14b37c680945a17c4df98f1e73c2e1a02139ca9.tar.xz | |
bin/get-assignment: add todo
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 |