From 741258051e6f03d75e7b758af7ba4c1d84741baf Mon Sep 17 00:00:00 2001 From: Grant Limberg Date: Mon, 12 Aug 2019 12:58:10 -0700 Subject: [PATCH] this should work better --- Jenkinsfile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 457210adc..a002fd7a5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,9 +14,10 @@ parallel 'centos7': { checkout scm stage('Build Centos 7') { - sh '''rm -rf build/ + sh '''scl enable devtoolset-8 -- bash + rm -rf build/ mkdir build && cd build - CC=clang CXX=clang++ cmake .. + cmake .. make -j4 ''' }