Greatly reduce GCC build logs

Author: GuillaumeGomez

src/ci/docker/host-x86_64/dist-x86_64-linux/build-gccjit.sh

@@ -20,9 +20,14 @@ cd ../gcc-build
     --enable-checking=release \
     --disable-bootstrap \
     --disable-multilib \
-    --prefix=$(pwd)/../gcc-install
-make
-make install
+    --prefix=$(pwd)/../gcc-install \
+    --quiet
+
+# We redirect stdout because the GCC build scripts generate thousands of lines
+# of output. Unfortunately, even when using `--quiet` option for all commands,
+# the output still thousands of lines of output, forcing us to use this solution.
+make > /dev/null
+make install > /dev/null
 
 rm -rf ../gcc-src
 ln -s /scripts/gcc-install/lib/libgccjit.so /usr/lib/x86_64-linux-gnu/libgccjit.so