diff options
-rwxr-xr-x | scripts/build-remote.pl.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/build-remote.pl.in b/scripts/build-remote.pl.in index e7e7538793af..6be4c45ebd5a 100755 --- a/scripts/build-remote.pl.in +++ b/scripts/build-remote.pl.in @@ -195,7 +195,9 @@ REQ: while (1) { # Connect to the selected machine. @sshOpts = ("-i", $machine->{sshKeys}, "-x"); $hostName = $machine->{hostName}; - last REQ if openSSHConnection $hostName; + last REQ if + openSSHConnection($hostName) && + system("ssh $hostName @sshOpts nix-builds-inhibited >/dev/null 2>&1") != 0; warn "unable to open SSH connection to $hostName, trying other available machines...\n"; $machine->{enabled} = 0; |