diff --git a/Jenkinsfile b/Jenkinsfile index cfa43c99f66209b8829323e7f5640d89d0e57cb2..8c057a0534ba37e0f1875608c1ccacc52c6848e1 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -386,6 +386,8 @@ pipeline { MSVC_NUMBER = '15' MSVC_VERSION = '2017' OMP_NUM_THREADS = '1' + CC = 'clcache' + CXX = 'clcache' } steps { script {