소스 검색

Обновить 'Jenkinsfile'

Vladimir Tomishinets 6 년 전
부모
커밋
8f6ce3761c
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      Jenkinsfile

+ 1 - 1
Jenkinsfile

@@ -35,7 +35,7 @@ pipeline {
       steps {
         echo "Generate ptr-zones"
         sh '''serial=$(cat ${WORKSPACE}/${SWARM_GIT_NAME}/tags/bind.version)
-              serial=$(${serial}+1)
+              serial=$((serial+1))
               ${WORKSPACE}/generate_ptr.sh 201 ${serial}
               ${WORKSPACE}/generate_ptr.sh 204 ${serial}
               ${WORKSPACE}/generate_ptr.sh 205 ${serial}