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 /src/nix-log2xml/treebits.js | |
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 'src/nix-log2xml/treebits.js')
0 files changed, 0 insertions, 0 deletions