diff options
Diffstat (limited to 'src/scripts/ci_build.py')
| -rwxr-xr-x | src/scripts/ci_build.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 2194c0c4b..9c68d553f 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -323,8 +323,8 @@ def main(args=None): return 1 if options.compiler_cache is None and options.cc != 'msvc': - # Autodetect ccache - if have_prog('ccache'): + # Autodetect ccache, unless using clang profiling - ccache seems to misbehave there + if have_prog('ccache') and target not in ['sonar']: options.compiler_cache = 'ccache' if options.compiler_cache == 'clcache' and target in ['sanitizer']: |