diff options
| author | Erich Eckner <git@eckner.net> | 2019-06-15 19:39:41 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-06-15 19:39:41 +0200 |
| commit | 4369821e44eab3833f3cade0917acf2c444968de (patch) | |
| tree | c4ee3a9954d67b27b8891abac146015b31ed7a0c /lib | |
| parent | d1100aebc3513a6e3044944afcca7b4e567378c2 (diff) | |
| download | builder-4369821e44eab3833f3cade0917acf2c444968de.tar.xz | |
bin/prioritize-build-list: test for "-f" instead of "! -p" of status output device
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions