Jenkinsfile

2020-05-28 14:59:04 +03:00
parent dbff7cec26
commit 007e3db9ef
1 changed files with 19 additions and 15 deletions
--- a/34
+++ b/34
@@ -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'
+			}
+		}
+	}
+}