diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-05-10T00·32+0200 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-05-10T00·32+0200 |
commit | be0b9dda31ab42bb2e077751fc75abbc945e407f (patch) | |
tree | 07f5345a73201c8a3f59d12f8f77a6f228e75e4e /scripts/nix-reduce-build.in | |
parent | 78206f06ecb2f5d6dba85b5f709251030e966f1c (diff) |
build-remote.pl: Pass /dev/null as SSH's stdin
Otherwise it will set the parent's stdin to non-blocking mode, causing the subsequent read of the set of inputs/outputs to fail randomly. That's insane.
Diffstat (limited to 'scripts/nix-reduce-build.in')
0 files changed, 0 insertions, 0 deletions