aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xscripts/build-remote.pl.in5
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/build-remote.pl.in b/scripts/build-remote.pl.in
index 00d7cd8b4..dd56b600c 100755
--- a/scripts/build-remote.pl.in
+++ b/scripts/build-remote.pl.in
@@ -197,10 +197,11 @@ REQ: while (1) {
$hostName = $machine->{hostName};
if (openSSHConnection($hostName)) {
last REQ if system("ssh $hostName @sshOpts nix-builds-inhibited < /dev/null > /dev/null 2>&1") != 0;
+ warn "machine `$hostName' is refusing builds, trying other available machines...\n";
closeSSHConnection;
+ } else {
+ warn "unable to open SSH connection to `$hostName', trying other available machines...\n";
}
-
- warn "unable to open SSH connection to $hostName, trying other available machines...\n";
$machine->{enabled} = 0;
}
}