Changeset 6c55a3d for Jenkinsfile

Timestamp:

Jun 25, 2019, 10:04:15 AM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

8ecb590

Parents:

3e2f5e3

Message:

Change jenkins file to mark staged as skipped rather than lasted 0s

File:

• Jenkinsfile (modified) (8 diffs)

Jenkinsfile

@@ -82 +82 @@
 //===========================================================================================================
 def clean() {
-        build_stage('Cleanup') {
+        build_stage('Cleanup', true) {
                 // clean the build by wipping the build directory
                 dir(BuildDir) {
@@ -92 +92 @@
 //Compilation script is done here but environnement set-up and error handling is done in main loop
 def checkout() {
-        build_stage('Checkout') {
+        build_stage('Checkout', true) {
                 //checkout the source code and clean the repo
                 final scmVars = checkout scm
@@ -103 +103 @@
 
 def build() {
-        build_stage('Build') {
+        build_stage('Build', true) {
                 // Build outside of the src tree to ease cleaning
                 dir (BuildDir) {
@@ -125 +125 @@
 
 def test() {
-        build_stage('Test') {
+        build_stage('Test', true) {
 
                 dir (BuildDir) {
@@ -141 +141 @@
 
 def benchmark() {
-        build_stage('Benchmark') {
-
-                if( !Settings.RunBenchmark ) return
-
+        build_stage('Benchmark', Settings.RunBenchmark) {
                 dir (BuildDir) {
                         //Append bench results
@@ -153 +150 @@
 
 def build_doc() {
-        build_stage('Documentation') {
-
-                if( !Settings.BuildDocumentation ) return
-
+        build_stage('Documentation', Settings.BuildDocumentation) {
                 dir ('doc/user') {
                         make_doc()
@@ -168 +162 @@
 
 def publish() {
-        build_stage('Publish') {
+        build_stage('Publish', true) {
 
                 if( Settings.Publish && !Settings.RunBenchmark ) { echo 'No results to publish!!!' }
@@ -412 +406 @@
 }
 
-def build_stage(String name, Closure block ) {
+def build_stage(String name, boolean run, Closure block ) {
         StageName = name
         echo " -------- ${StageName} -------- "
-        stage(name, block)
+        stage(name, run ? block : false)
 }