From 1b779f70114bbea2e165a89715bc92029b4514ec Mon Sep 17 00:00:00 2001 From: peri4 Date: Fri, 21 Apr 2023 13:05:48 +0300 Subject: [PATCH] space --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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) {