diff options
| -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 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 |