Changeset f78ead5 for Jenkins

Timestamp:

Dec 3, 2020, 8:43:24 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

c3d3c22

Parents:

782d479

Message:

Getting last successful Full Build by default

Location:

Jenkins

Files:

• Distribute (modified) (4 diffs)
• tools.groovy (modified) (1 diff)

Jenkins/Distribute

@@ -26 +26 @@
                 wrap([$class: 'TimestamperBuildWrapper']) {
 
-                        (build_no, ref) = prepare_build()
+                        build_id = prepare_build()
 
                         node('x64') {
@@ -32 +32 @@
                                 SrcDir    = pwd tmp: false
 
-                                clean()
+                                Tools.clean()
 
                                 // checkout()
@@ -74 +74 @@
 // Main compilation routines
 //===========================================================================================================
-def clean() {
-        build_stage('Cleanup', true) {
-                // clean the build by wipping the build directory
-                dir(BuildDir) {
-                        deleteDir()
-                }
-        }
-}
+
 
 //Compilation script is done here but environnement set-up and error handling is done in main loop
@@ -125 +118 @@
 
         currentBuild.description = "Distributing Binaries"
+
+        if (!params.Build) {
+                params.Build = Jenkins.instance.getItem('Cforall Full Build').lastSuccessfulBuild.number
+        }
+
         echo "Distributing build ${params.Build}"
 

Jenkins/tools.groovy

@@ -24 +24 @@
 //===========================================================================================================
 def clean() {
-        Tools.BuildStage('Cleanup', true) {
+        BuildStage('Cleanup', true) {
                 // clean the build by wipping the build directory
                 dir(BuildDir) {