diff options
| -rwxr-xr-x | src/scripts/ci_build.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 1ac264d0e..f83a9eb1d 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -314,7 +314,8 @@ def main(args=None): if options.compiler_cache is None and options.cc != 'msvc': # Autodetect ccache - options.compiler_cache = have_prog('ccache') + if have_prog('ccache'): + options.compiler_cache = 'ccache' if options.compiler_cache == 'clcache' and target in ['sanitizer']: # clcache doesn't support /Zi so using it just adds overhead with |