diff --git a/Jenkinsfile b/Jenkinsfile index 8f5057f..7620553 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -3,9 +3,9 @@ def build_docker(name) { echo "Build image ${image}" def pref = "" if (env.DOCKER_PREFIX) { - pref = "${env.DOCKER_PREFIX}/" + pref = "--build-arg DOCKER_PREFIX=${env.DOCKER_PREFIX}/" } - def args = "--build-arg DOCKER_PREFIX=${pref} --build-arg LIBS_BUILD_NUMBER=${env.BUILD_NUMBER} --build-arg JOBS_COUNT=4" + def args = "${pref} --build-arg LIBS_BUILD_NUMBER=${env.BUILD_NUMBER} --build-arg JOBS_COUNT=4" dir ("docker/${image}") { //echo "build ${image} ${args}" sh "docker build ${args} --no-cache -t ${image} ."