Merge branch 'an/ignore-doc-update' into maint

diff --git a/ci/run-linux32-build.sh b/ci/run-linux32-build.sh
index 09e9276e1276e089fdde09da4cb89f15404be416..e3a193adbce39cb62b3be20b269444188a900613 100755 (executable)
--- a/ci/run-linux32-build.sh
+++ b/ci/run-linux32-build.sh
@@ -56,5 +56,5 @@ linux32 --32bit i386 su -m -l $CI_USER -c '
        cd /usr/src/git
        test -n "$cache_dir" && ln -s "$cache_dir/.prove" t/.prove
        make
-       make --quiet test
+       make test
 '