diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-03T20·35+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-03T20·35+0000 |
| commit | d0c32dc135f147ad352e28ff8c648e611516edec (patch) | |
| tree | c474e310974cb3f9aa9acb0be1625c7d1cd50799 /scripts/nix-copy-closure.in | |
| parent | f56a039775930d4ba2b4504440b7ab37dfefeb75 (diff) | |
* 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.
Diffstat (limited to 'scripts/nix-copy-closure.in')
| -rw-r--r-- | scripts/nix-copy-closure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/nix-copy-closure.in b/scripts/nix-copy-closure.in index 313d6f0192e6..59046814b5b5 100644 --- a/scripts/nix-copy-closure.in +++ b/scripts/nix-copy-closure.in @@ -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. |