about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2013-09-18T12·04+0200
committerEelco Dolstra <eelco.dolstra@logicblox.com>2013-09-18T12·04+0200
commitfaaae44f2e8bc5f8863de80a2585fec8f51d144d (patch)
treec68d9ee29beb0777136f93aafb8f90502a8a6e3f
parentf53574ebd60e5a22dbaae7e2bec97f5993670c20 (diff)
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.
-rwxr-xr-xscripts/build-remote.pl.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build-remote.pl.in b/scripts/build-remote.pl.in
index a4eee75d1b17..6dfa16d5cbda 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