From 3c94cce018d41272f753d609f55eafcbf0a0cde0 Mon Sep 17 00:00:00 2001
From: Ivan Pelipenko <peri4ko@yandex.ru>
Date: Thu, 28 May 2020 14:44:20 +0300
Subject: [PATCH] Jenkinsfile

---
 Jenkinsfile | 20 +++++++++++---------
 1 file changed, 11 insertions(+), 9 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index af9e9a7..f9324b4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -32,7 +32,7 @@ node {
 	for (int i = 0; i < platforms.size(); ++i) {
 	    if (_envmap["BUILD_${platforms[i]}"] == "1") {
 			stage("${platforms[i]}-libs") {
-				_msg += build_docker("${platforms[i]}")
+				//_msg += build_docker("${platforms[i]}")
 			}
 	    }
 	}
@@ -41,14 +41,16 @@ node {
 		agent {
 			label 'master'
 		}
-		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'
+		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}"
 }