diff --git a/Jenkinsfile b/Jenkinsfile index 47fc2cb..5cde60b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,9 +13,8 @@ def build_docker(name, release_dir) { dir ("docker/${image_name}") { sh "docker build ${args} --no-cache -t ${image_name} ." def diargs = "-v " + release_dir + ":/soft/release" - echo "inside = ${diargs}" docker.image(image_name).inside(diargs) { - sh 'cp -vf /soft/shstk/release/* /soft/release/' + sh 'if [ `ls /soft/shstk/release/` ]; then cp -vf /soft/shstk/release/* /soft/release/; fi' } } return "\n - ${image_name}"