diff --git a/Jenkinsfile b/Jenkinsfile index f3175d0..fde7a8e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -14,12 +14,12 @@ def build_docker(name, docker_dir, docker_image, release_dir) { args += " --build-arg LIBS_BUILD_NUMBER=${env.BUILD_NUMBER}" args += " --build-arg JOBS_COUNT=${jobs}" dir ("docker/${docker_dir}-shstk") { - //sh "docker build ${args} --no-cache -t ${image_name} ." - //def diargs = "-v " + release_dir + ":/soft/release" - //docker.image(image_name).inside(diargs) { - // sh 'cp -vf /soft/shstk/release/* /soft/release/ || true' - //} - print "docker build ${args} --no-cache -t ${image_name} ." + sh "docker build ${args} --no-cache -t ${image_name} ." + def diargs = "-v " + release_dir + ":/soft/release" + docker.image(image_name).inside(diargs) { + sh 'cp -vf /soft/shstk/release/* /soft/release/ || true' + } + //print "docker build ${args} --no-cache -t ${image_name} ." } return "\n - ${image_name}" }