diff --git a/Jenkinsfile b/Jenkinsfile index a70a930..3134ded 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,7 +8,7 @@ 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 shstk_docker = docker.build(${image_name}, ./docker/${docker_dir}-shstk --no-cache ${args}) def vol = "-v " + release_dir + ":/soft/release" shstk_docker.inside(vol) { sh 'cp -vf /soft/shstk/release/* /soft/release/ || true' @@ -31,7 +31,7 @@ node { sh "rm -rvf ${rel_dir}" sh "mkdir -p ${rel_dir}" - def root = readJSON(file: 'platforms/platforms.json') + def root = readJSON(file: 'platforms/platforms.json') def _msg = "Built images:" root.Platforms.each { key, dist -> if (dist.enabled) {