Changeset ab60d6d

Timestamp:

Jun 6, 2016, 12:37:44 PM (9 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

d5f1cfc, efbca69

Parents:

7b1a604

Message:

Clean-up Jenkinsfile, should correct erronous build status

File:

• Jenkinsfile (modified) (4 diffs)

Jenkinsfile

@@ -64 +64 @@
 }
 
+//Helper routine to collect information about the git history
+def collect_git_info() {
+
+        def out_dir = pwd tmp: true
+        gitRefName = env.BRANCH_NAME
+        dir("../${gitRefName}@script") {
+                sh "git reflog > ${out_dir}/GIT_COMMIT"
+        }
+        git_reflog = readFile("${out_dir}/GIT_COMMIT")
+        gitRefOldValue = (git_reflog =~ /moving from (.+) to (.+)/)[0][1]
+        gitRefNewValue = (git_reflog =~ /moving from (.+) to (.+)/)[0][2]
+}
+
 //===========================================================================================================
 // Main loop of the compilation
@@ -71 +84 @@
         def err = null
         def log_needed = false
-        currentBuild.result = "FAILURE"
+        currentBuild.result = "SUCCESS"
         status_prefix = ''
 
         try {
-
-
                 //Prevent the build from exceeding 30 minutes
                 timeout(30) {
@@ -99 +110 @@
                         }
                 }
-
-                currentBuild.result = "SUCCESS"
         }
 
@@ -125 +134 @@
                 }
         }
-}
-
-def collect_git_info() {
-
-        def out_dir = pwd tmp: true
-        gitRefName = env.BRANCH_NAME
-        dir("../${gitRefName}@script") {
-                sh "git reflog > ${out_dir}/GIT_COMMIT"
-        }
-        git_reflog = readFile("${out_dir}/GIT_COMMIT")
-        gitRefOldValue = (git_reflog =~ /moving from (.+) to (.+)/)[0][1]
-        gitRefNewValue = (git_reflog =~ /moving from (.+) to (.+)/)[0][2]
 }