ci-build: silence the make distclean

This saves several hundred lines of noise in the build logs and make them easier to analyze.
2017-09-10 11:07:24 +02:00 · 2017-09-10 11:07:24 +02:00 · 76f5f62dda
parent 85c64ac820
commit 76f5f62dda
1 changed files with 1 additions and 1 deletions
--- 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.