aboutsummaryrefslogtreecommitdiffstats
path: root/src/scripts
diff options
context:
space:
mode:
authorJack Lloyd <[email protected]>2017-09-08 21:34:21 -0400
committerJack Lloyd <[email protected]>2017-09-08 21:34:21 -0400
commitd57cda1baea38f4a27e852e8ba1b16ee0ab9fcc8 (patch)
treef5a3dcfbcf8a50c2d00ddd7136f543d0d4432b23 /src/scripts
parent70d11a5e28290e7327beba8f804ed33bd2c9d08c (diff)
Fix ccache detection
Diffstat (limited to 'src/scripts')
-rwxr-xr-xsrc/scripts/ci_build.py3
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