diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-01-21T21·26+0100 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-01-21T21·26+0100 |
commit | 96fbbbde55d6f226fc49299ed753761edfb6ad77 (patch) | |
tree | 48efd7beb0489fdf986e424e9ee1182640fbecf7 | |
parent | d6fd6d8aff06740f6c2595d13482d9183c11d243 (diff) |
build-remote.pl: Don't keep build logs on the build slave
-rwxr-xr-x | scripts/build-remote.pl.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/build-remote.pl.in b/scripts/build-remote.pl.in index 458d31be92f8..03cd21e97c19 100755 --- a/scripts/build-remote.pl.in +++ b/scripts/build-remote.pl.in @@ -258,8 +258,9 @@ close UPLOADLOCK; # Perform the build. my $buildFlags = - "--max-silent-time $maxSilentTime --option build-timeout $buildTimeout " - . "--fallback --add-root $rootsDir/\$PPID.out --option verbosity 0"; + "--max-silent-time $maxSilentTime --option build-timeout $buildTimeout" + . " --fallback --add-root $rootsDir/\$PPID.out --option verbosity 0" + . " --option build-keep-log false"; # We let the remote side kill its process group when the connection is # closed unexpectedly. This is necessary to ensure that no processes |