diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-08-17 19:09:03 +0200 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-08-17 19:09:03 +0200 |
commit | 42e9ad8fd1c8825fcf182cee787a206eb932e575 (patch) | |
tree | 37e75711d49f68ef76c7f2982a3b7ba63e0cf7d3 /scripts/build-remote.pl.in | |
parent | c6e85ee474d79953f14c8bd633ec3f35d246d4a9 (diff) |
Propagate remote timeouts properly
Diffstat (limited to 'scripts/build-remote.pl.in')
-rwxr-xr-x | scripts/build-remote.pl.in | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/scripts/build-remote.pl.in b/scripts/build-remote.pl.in index 89d3a43cc..243b92cf8 100755 --- a/scripts/build-remote.pl.in +++ b/scripts/build-remote.pl.in @@ -258,13 +258,8 @@ writeInt($maxSilentTime, $to); writeInt($buildTimeout, $to); my $res = readInt($from); if ($res != 0) { - # Note that if we get exit code 100 from `nix-store -r', it - # denotes a permanent build failure (as opposed to an SSH problem - # or a temporary Nix problem). We propagate this to the caller to - # allow it to distinguish between transient and permanent - # failures. my $msg = readString($from); - print STDERR "error: $msg (on `$hostName')\n"; + print STDERR "error: $msg on `$hostName'\n"; exit $res; } |