1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-07-07 01:51:47 +02:00

* In the build hook, if connecting to a machine fails, try the other

machines of the right type (if available).  This makes the build
  farm more robust to failures.
This commit is contained in:
Eelco Dolstra 2010-02-03 20:35:37 +00:00
parent f56a039775
commit d0c32dc135
3 changed files with 83 additions and 79 deletions

View file

@ -53,7 +53,7 @@ while (@ARGV) {
}
openSSHConnection $sshHost;
openSSHConnection $sshHost or die "$0: unable to start SSH\n";
if ($toMode) { # Copy TO the remote machine.