diff --git a/Jenkinsfile b/Jenkinsfile index 314c605..f601e55 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -5,7 +5,11 @@ def build_docker(name) { if (env.DOCKER_PREFIX) { pref = "--build-arg DOCKER_PREFIX=${env.DOCKER_PREFIX}/" } - def args = "${pref} --build-arg LIBS_BUILD_NUMBER=${env.BUILD_NUMBER} --build-arg JOBS_COUNT=4" + def jobs = 4 + if (env.JOBS_COUNT) { + jobs = "${env.JOBS_COUNT}" + } + def args = "${pref} --build-arg LIBS_BUILD_NUMBER=${env.BUILD_NUMBER} --build-arg JOBS_COUNT=${jobs}" dir ("docker/${image}") { //echo "build ${image} ${args}" sh "docker build ${args} --no-cache -t ${image} ."