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/clean-cache | |
| parent | b1166c7aa420a659199b79a1478d2226b4badd96 (diff) | |
| download | builder-a45ffd7e5311c62c42bffd27d492746f6433e57a.tar.xz | |
bin/prioritize-build-list: when -d given: run until no more priorities change
Diffstat (limited to 'bin/clean-cache')
0 files changed, 0 insertions, 0 deletions