maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

build-remote.pl: Don't use substituters on the remote

Browse source 
It's kinda pointless to check substituters on the remote side, since
we just checked them locally.
This commit is contained in:
Eelco Dolstra 2013-09-18 14:04:03 +02:00
parent f53574ebd6
commit faaae44f2e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/build-remote.pl.in
View file

@ -263,7 +263,7 @@ close UPLOADLOCK;
my $buildFlags = my $buildFlags =
"--max-silent-time $maxSilentTime --option build-timeout $buildTimeout" "--max-silent-time $maxSilentTime --option build-timeout $buildTimeout"
. " --fallback --add-root $rootsDir/\$PPID.out --quiet" . " --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 # We let the remote side kill its process group when the connection is
# closed unexpectedly. This is necessary to ensure that no processes # closed unexpectedly. This is necessary to ensure that no processes