Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 39d22ef3d122e2c7360e373379319ebd197cc745)
+++ Jenkinsfile	(revision 18e4cd00a6c9b7d1336ced8c6f0129c795156b49)
@@ -27,20 +27,27 @@
 
 			node(Settings.Architecture.node) {
-				BuildDir  = pwd tmp: true
-				SrcDir    = pwd tmp: false
-
-				Tools.Clean()
-
-				Tools.Checkout()
-
-				build()
-
-				test()
-
-				benchmark()
-
-				build_doc()
-
-				publish()
+				try {
+					BuildDir  = pwd tmp: true
+					SrcDir    = pwd tmp: false
+
+					Tools.Clean()
+
+					Tools.Checkout()
+
+					build()
+
+					test()
+
+					benchmark()
+
+					build_doc()
+
+					publish()
+				}
+				catch (Exception e) {
+					//Store the result of the build log
+					currentBuild.result = "${Tools.StageName} FAILURE".trim()
+					throw e
+				}
 			}
 
@@ -56,7 +63,4 @@
 		//An error has occured, the build log is relevent
 		log_needed = true
-
-		//Store the result of the build log
-		currentBuild.result = "${Tools.StageName} FAILURE".trim()
 
 		//rethrow error later