diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-26 15:08:57 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-26 15:08:57 +0200 |
| commit | bab7e4ea534004ba47c7206a89490ab3afc001aa (patch) | |
| tree | f81f114bb402bc27e8f2cdcfd9a7749ea3a19e95 /bin/return-assignment | |
| parent | c58e0403753ec5a006991261c67f3bbc9466eae5 (diff) | |
| download | builder-bab7e4ea534004ba47c7206a89490ab3afc001aa.tar.xz | |
bin/get-assignment: honor order of toolchain when handing out assignments
Diffstat (limited to 'bin/return-assignment')
| -rwxr-xr-x | bin/return-assignment | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index d9d87be..b837cac 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -679,6 +679,7 @@ trigger_mirror_refreshs "${tmp_dir}/repository-ids" printf 'COMMIT;\n' +# TODO: do not remove toolchain build assignments if they need to be compiled a second time # remove from build-list printf 'DELETE FROM `binary_packages_in_repositories`' printf ' WHERE `binary_packages_in_repositories`.`package` IN (' |