Merge branch 'master' into tooomm-patch-33

This commit is contained in:
tooomm 2026-09-12 16:35:36 +02:00 committed by GitHub
commit 860ff503b1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
233 changed files with 7900 additions and 1711 deletions

View file

@ -150,6 +150,11 @@ if [[ $MAKE_TEST == "1" ]]; then
fi
if [[ $USE_CCACHE == "1" ]]; then
flags+=("-DUSE_CCACHE=1")
# PCH-aware caching is required or ccache refuses to cache any TU that
# consumes a precompiled header, silently recompiling everything on every run.
ccache --set-config sloppiness=pch_defines,time_macros
if [[ -n $CCACHE_SIZE ]]; then
# This setting persists after running the script
ccache --max-size "$CCACHE_SIZE"