diff options
-rwxr-xr-x | scripts/build-remote.pl.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/build-remote.pl.in b/scripts/build-remote.pl.in index 00d7cd8b4186..dd56b600c75d 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; } } |