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

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 /bin/return-assignment
parent	9b09b26118107142745f0f4ba1094de3d043d389 (diff)

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

Diffstat (limited to 'bin/return-assignment')

0 files changed, 0 insertions, 0 deletions