diff options
author | Jack Lloyd <[email protected]> | 2017-09-08 21:34:21 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2017-09-08 21:34:21 -0400 |
commit | d57cda1baea38f4a27e852e8ba1b16ee0ab9fcc8 (patch) | |
tree | f5a3dcfbcf8a50c2d00ddd7136f543d0d4432b23 /src/scripts | |
parent | 70d11a5e28290e7327beba8f804ed33bd2c9d08c (diff) |
Fix ccache detection
Diffstat (limited to 'src/scripts')
-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 |