diff --git a/Jenkinsfile b/Jenkinsfile index 3134ded..6200705 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,9 +8,8 @@ def build_docker(docker_image, docker_dir, release_dir) { args += " --build-arg IMAGE_FROM=${docker_image}" args += " --build-arg LIBS_BUILD_NUMBER=${env.BUILD_NUMBER}" args += " --build-arg JOBS_COUNT=${env.JOBS_COUNT}" - def shstk_docker = docker.build(${image_name}, ./docker/${docker_dir}-shstk --no-cache ${args}) - def vol = "-v " + release_dir + ":/soft/release" - shstk_docker.inside(vol) { + def shstk_docker = docker.build("${image_name}", "./docker/${docker_dir}-shstk --no-cache ${args}") + shstk_docker.inside("-v " + release_dir + ":/soft/release") { sh 'cp -vf /soft/shstk/release/* /soft/release/ || true' } return "\n - ${image_name}"