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-push.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-push.in')
0 files changed, 0 insertions, 0 deletions