From faaae44f2e8bc5f8863de80a2585fec8f51d144d Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Wed, 18 Sep 2013 14:04:03 +0200 Subject: [PATCH] build-remote.pl: Don't use substituters on the remote It's kinda pointless to check substituters on the remote side, since we just checked them locally. --- scripts/build-remote.pl.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/build-remote.pl.in b/scripts/build-remote.pl.in index a4eee75d1b..6dfa16d5cb 100755 --- a/scripts/build-remote.pl.in +++ b/scripts/build-remote.pl.in @@ -263,7 +263,7 @@ close UPLOADLOCK; my $buildFlags = "--max-silent-time $maxSilentTime --option build-timeout $buildTimeout" . " --fallback --add-root $rootsDir/\$PPID.out --quiet" - . " --option build-keep-log false"; + . " --option build-keep-log false --option build-use-substitutes false"; # We let the remote side kill its process group when the connection is # closed unexpectedly. This is necessary to ensure that no processes