From be19fc53d45b6adc4c987a90090f5c58b407ca0a Mon Sep 17 00:00:00 2001 From: kakwa Date: Thu, 27 Apr 2017 19:59:13 +0200 Subject: [PATCH] trying another thing --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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' } },