diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-10 11:07:24 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-10 11:07:24 +0200 |
| commit | 76f5f62ddacf37c5db38158de86b09d01d36ea6d (patch) | |
| tree | 6c45ac420a3b3ca01f694bcc215a7ea855cc7202 /tools | |
| parent | 85c64ac820387e45befb53a4cc757cd2101c00c5 (diff) | |
| download | ocaml-76f5f62ddacf37c5db38158de86b09d01d36ea6d.tar.gz | |
ci-build: silence the make distclean
This saves several hundred lines of noise in the build logs and make them easier to analyze.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/ci-build | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/ci-build b/tools/ci-build index 7f8ad9cf9c..cb0ea1bde7 100755 --- a/tools/ci-build +++ b/tools/ci-build @@ -175,7 +175,7 @@ done # Tell gcc to use only ASCII in its diagnostic outputs. export LC_ALL=C -$make distclean || : +$make -s distclean || : # `make distclean` does not clean the files from previous versions that # are not produced by the current version, so use `git clean` in addition. |