bin/get-assignment: do not hand out non-toolchain build_assignments as long as toolchain build_assignments are pending - builder

diff options

author	Erich Eckner <git@eckner.net>	2018-09-13 10:53:26 +0200
committer	Erich Eckner <git@eckner.net>	2018-09-13 10:53:26 +0200
commit	8fa8cbc82caca22006b1cedc06eb1c164d829d7c (patch)
tree	3c52e11525c998636fdfd6e2895409629a701945 /.gitignore
parent	84fb0312c4caa2f445fe95f46ce9896d2a2f3945 (diff)

bin/get-assignment: do not hand out non-toolchain build_assignments as long as toolchain build_assignments are pending

Diffstat (limited to '.gitignore')

0 files changed, 0 insertions, 0 deletions