bin/prioritize-build-list: when -d given: run until no more priorities change - builder

diff options

author	Erich Eckner <git@eckner.net>	2019-05-04 10:04:33 +0200
committer	Erich Eckner <git@eckner.net>	2019-05-04 10:04:33 +0200
commit	a45ffd7e5311c62c42bffd27d492746f6433e57a (patch)
tree	f736a0b8eb1c046ffc684f86141aa7511d9400dd /bin/.gitignore
parent	b1166c7aa420a659199b79a1478d2226b4badd96 (diff)

bin/prioritize-build-list: when -d given: run until no more priorities change

Diffstat (limited to 'bin/.gitignore')

0 files changed, 0 insertions, 0 deletions