Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 7b1a6041a9b619c25955e37f6213b4381598701e)
+++ Jenkinsfile	(revision 03ccadd921f2a14660902f39594ba9a01d8df6ff)
@@ -64,4 +64,17 @@
 }
 
+//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,10 +84,8 @@
 	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,6 +110,4 @@
 			}
 		}
-
-		currentBuild.result = "SUCCESS"
 	}
 
@@ -125,16 +134,4 @@
 		}
 	}
-}
-
-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]
 }