diff --git a/Jenkinsfile b/Jenkinsfile index 321ed7f..813412d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -19,13 +19,15 @@ pipeline { //Make specific flags MAKE_OPTIONS = '-j 12' + + JENKINS_BUILD_TARGET="${params.target}" } stages { /* first of all we have to update our libraries */ stage ('libraries::update') { when { - expression { params.target != 'none' } + expression { params.target != "" && params.target != 'none' } } steps { @@ -52,7 +54,6 @@ pipeline { environment { CMAKE_BUILD_TYPE="RelWithDebInfo" /* we build out libraries every time in release mode! (Performance improve) */ - BUILD_TARGET=params.target } steps { @@ -138,7 +139,6 @@ pipeline { environment { CMAKE_BUILD_TYPE="RelWithDebInfo" /* we build out libraries every time in release mode! (Performance improve) */ - BUILD_TARGET=params.target } steps {