bin/seed-build-list: do not schedule to-be-deleted packages via -a - builder

diff options

author	Erich Eckner <git@eckner.net>	2019-12-06 09:03:50 +0100
committer	Erich Eckner <git@eckner.net>	2019-12-06 09:03:50 +0100
commit	0b5474bd4539ff6344604cedd21a076dbd18319e (patch)
tree	9533644e1649f49b7a787a632a24292d69adebe8 /bin/prioritize-build-list
parent	b822396f6e33ae68afcdbc93535a97ce4571a86a (diff)

bin/seed-build-list: do not schedule to-be-deleted packages via -a

Diffstat (limited to 'bin/prioritize-build-list')

0 files changed, 0 insertions, 0 deletions