diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-05-09T15·17+0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-05-09T15·17+0200 |
| commit | 69b8f9980f39c14a59365a188b300a34d625a2cd (patch) | |
| tree | e818b6d1e2777f344e3ad48e088f9289ef5b221b /.gitignore | |
| parent | e93acab85298cf3433d1938828e7772e8faa55dc (diff) | |
build-remote.pl: Enforce timeouts locally
Don't pass --timeout / --max-silent-time to the remote builder. Instead, let the local Nix process terminate the build if it exceeds a timeout. The remote builder will be killed as a side-effect. This gives better error reporting (since the timeout message from the remote side wasn't properly propagated) and handles non-Nix problems like SSH hangs.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions