diff --git a/Jenkinsfile b/Jenkinsfile index f058c35..f0a0d98 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -9,7 +9,7 @@ pipeline { sh 'git config --global user.name "jenkins@kakwa.fr"' sh 'git config --global user.email "jenkins@kakwa.fr"' git 'https://github.com/kakwa/uts-server' - sh 'CC=/usr/local/bin/egcc CXX=/usr/local/bin/ec++ cmake . -DBUNDLE_CIVETWEB=ON' + sh 'export CC=/usr/local/bin/egcc;export CXX=/usr/local/bin/ec++; cmake . -DBUNDLE_CIVETWEB=ON' sh 'make' } },