diff options
| author | Erich Eckner <git@eckner.net> | 2018-08-09 21:38:55 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-08-09 21:38:55 +0200 |
| commit | 00991b076b0e6ff27be05b24b0412d4c0a867975 (patch) | |
| tree | bda1ffbf9b3e7e2679f9c12ac54dc084efef902f /bin/get-assignment | |
| parent | 80f80e1fafe5acaa13023942b767c97df51dc7be (diff) | |
| download | builder-00991b076b0e6ff27be05b24b0412d4c0a867975.tar.xz | |
bin/return-assignment: reschedule returned toolchain packages if the earlier toolchain packages are not compiled _once_ (instead of "are still on the build-list")
Diffstat (limited to 'bin/get-assignment')
0 files changed, 0 insertions, 0 deletions