From d57cda1baea38f4a27e852e8ba1b16ee0ab9fcc8 Mon Sep 17 00:00:00 2001
From: Jack Lloyd <jack@randombit.net>
Date: Fri, 8 Sep 2017 21:34:21 -0400
Subject: Fix ccache detection

---
 src/scripts/ci_build.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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
-- 
cgit v1.2.3