bin/return-assignment: reschedule returned toolchain packages if the earlier toolchain packages are not compiled _once_ (instead of "are still on the build-list") - builder

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 /conf/.gitignore
parent	80f80e1fafe5acaa13023942b767c97df51dc7be (diff)

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 'conf/.gitignore')

0 files changed, 0 insertions, 0 deletions


context:
space:
mode: