diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-28 15:17:09 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-28 15:17:09 +0200 |
| commit | c0551a94fd73e5184e673404e01d255be21cf2f0 (patch) | |
| tree | fba1ed87b557f153654439fac4703fd67d076628 /bin/wtp | |
| parent | bab02966e03876106d6ca38e5fc8029a81bfb904 (diff) | |
| download | builder-c0551a94fd73e5184e673404e01d255be21cf2f0.tar.xz | |
bin/return-assignment: prioritize failed build_assignments iff a broken dependency was rescheduled
Diffstat (limited to 'bin/wtp')
0 files changed, 0 insertions, 0 deletions