diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-13 12:16:22 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-13 12:16:22 +0200 |
| commit | 63e29becccafbfeca5fa6b08abe731f38505f5e4 (patch) | |
| tree | 5076abf1d807e9886d951f61413425d20f55d67f /lib | |
| parent | 9b09b26118107142745f0f4ba1094de3d043d389 (diff) | |
| download | builder-63e29becccafbfeca5fa6b08abe731f38505f5e4.tar.xz | |
bin/prioritize-build-list: do not write to input if it is a pipe
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions