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-push.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-push.in')
0 files changed, 0 insertions, 0 deletions