From 007e3db9ef38250779f0f4d994f2c72b83c73b3a Mon Sep 17 00:00:00 2001 From: Ivan Pelipenko Date: Thu, 28 May 2020 14:59:04 +0300 Subject: [PATCH] Jenkinsfile --- Jenkinsfile | 34 +++++++++++++++++++--------------- 1 file changed, 19 insertions(+), 15 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index f9324b4..856c8f8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -37,20 +37,24 @@ node { } } sh "docker system prune -f" - stage("PIP doc") { - agent { - label 'master' - } - steps { - checkout scm - sh "rm -rf share" - sh "rm -v *.zip" - sh "mkdir -p build" - sh "cd build && cmake -DLIB=0 -DCMAKE_INSTALL_PREFIX=`pwd` ../" - sh "cd build && make doc" - sh "cd share/doc && zip -r ../../pip_doc.zip pip" - archiveArtifacts 'pip_doc.zip' - } - } echo "${_msg}" } +pipeline { + agent { + label 'master' + } + stages { + stage("PIP doc") { + steps { + checkout scm + sh "rm -rf share" + sh "rm -v *.zip" + sh "mkdir -p build" + sh "cd build && cmake -DLIB=0 -DCMAKE_INSTALL_PREFIX=`pwd` ../" + sh "cd build && make doc" + sh "cd share/doc && zip -r ../../pip_doc.zip pip" + archiveArtifacts 'pip_doc.zip' + } + } + } +}