Extremely verbose GCC build fills CI log for x86_64-gnu-llvm-18

[RalfJung]

See for instance the log here: more than 80% of the logfile seem to be about the GCC build, completely drowning any signal we might get from the rest of the build. I don't think that has always been the case? Please be mindful of CI log spam when adding new things to the build. :)

Cc @GuillaumeGomez @antoyo @Kobzol

[Kobzol]

Sorry for that. Soon-ish that build should be cached most of the time, but still it's probably a good idea to reduce the verbosity here. Any idea of how to force make do that, but still get some useful (less verbose) output (antoyo or Guillaume :) )?

[antoyo]

You have two options:

• make -s, but this will still show the configure messages.
• make -s > /dev/null if the above is not enough (that will still show warnings and errors)

[Kobzol]

Thanks, that second one is probably the better choice, because the configure output was still quite spammy. I'll send a PR.