diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-03-08T00·24+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2013-03-08T00·24+0100 |
| commit | bdd4646338da296fdf3a8f9dc3cf5aff1dafa163 (patch) | |
| tree | 8bda49fe3eaef361a025c0f3b64ea51ea7728cbe /scripts | |
| parent | e73d9e948887621906363a35c980538294898a02 (diff) | |
Revert "Prevent config.h from being clobbered"
This reverts commit 28bba8c44f484eae38e8a15dcec73cfa999156f6.
Diffstat (limited to 'scripts')
| -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 458d31be92..dddd9e959e 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 --quiet" + . " --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 |