bin/prioritize-build-list: run additional step at least once if -d is given - builder

diff options

author	Erich Eckner <git@eckner.net>	2019-05-04 10:07:47 +0200
committer	Erich Eckner <git@eckner.net>	2019-05-04 10:07:47 +0200
commit	0947701cd9dc60a9c8dced9e8ddebc53c64c4d5d (patch)
tree	1ea98bc4086a1bbe282c1b8560c026f3dc1a97cd /bin/sanity-check
parent	a45ffd7e5311c62c42bffd27d492746f6433e57a (diff)

bin/prioritize-build-list: run additional step at least once if -d is given

Diffstat (limited to 'bin/sanity-check')

0 files changed, 0 insertions, 0 deletions