bin/prioritize-build-list: do not write to input if it is a pipe - builder

Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.

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 /.gitignore
parent	9b09b26118107142745f0f4ba1094de3d043d389 (diff)

bin/prioritize-build-list: do not write to input if it is a pipe

Diffstat (limited to '.gitignore')

0 files changed, 0 insertions, 0 deletions