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.
This commit is contained in:
Eelco Dolstra 2013-05-10 02:32:13 +02:00
parent 78206f06ec
commit be0b9dda31
1 changed files with 1 additions and 1 deletions

View File

@ -197,7 +197,7 @@ REQ: while (1) {
$hostName = $machine->{hostName};
last REQ if
openSSHConnection($hostName) &&
system("ssh $hostName @sshOpts nix-builds-inhibited >/dev/null 2>&1") != 0;
system("ssh $hostName @sshOpts nix-builds-inhibited < /dev/null > /dev/null 2>&1") != 0;
warn "unable to open SSH connection to $hostName, trying other available machines...\n";
$machine->{enabled} = 0;