From 6a2727a0fc202451f60767ffebe671c7d858e889 Mon Sep 17 00:00:00 2001 From: WolverinDEV Date: Fri, 19 Apr 2019 14:02:50 +0200 Subject: [PATCH] Updated Jenkinsfile --- Jenkinsfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 {