diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-04T02·05+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-02-04T02·05+0000 |
commit | c9b2d80bcda33e3e26c1a2afc7b76e3bc0a8489d (patch) | |
tree | fb1cd86c30610bafe181fafdf8a89539e3820f96 | |
parent | 3cfe65e516a75696addcf0281674f644a0933ea5 (diff) |
* Typo.
-rwxr-xr-x | scripts/build-remote.pl.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build-remote.pl.in b/scripts/build-remote.pl.in index da26b85969a8..3b67555d4b56 100755 --- a/scripts/build-remote.pl.in +++ b/scripts/build-remote.pl.in @@ -220,7 +220,7 @@ my $buildFlags = "--max-silent-time $maxSilentTime"; if (system("ssh $hostName @sshOpts -tt 'nix-store --realise $buildFlags $drvPath > /dev/null'") != 0) { # If we couldn't run ssh or there was an ssh problem (indicated by # exit code 255), then we return exit code 1; otherwise we assume - # that the builder failed, which we indicated to Nix using exit + # that the builder failed, which we indicate to Nix using exit # code 100. It's important to distinguish between the two because # the first is a transient failure and the latter is permanent. my $res = $? == -1 || ($? >> 8) == 255 ? 1 : 100; |