Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 18e4cd00a6c9b7d1336ced8c6f0129c795156b49)
+++ Jenkinsfile	(revision 75226925ba8d48fa7f4541bc0bc34721f53624dc)
@@ -27,27 +27,20 @@
 
 			node(Settings.Architecture.node) {
-				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
-				}
+				BuildDir  = pwd tmp: true
+				SrcDir    = pwd tmp: false
+
+				Tools.Clean()
+
+				Tools.Checkout()
+
+				build()
+
+				test()
+
+				benchmark()
+
+				build_doc()
+
+				publish()
 			}
 
@@ -61,11 +54,14 @@
 	//attach the build log to the email
 	catch (Exception caughtError) {
-		//An error has occured, the build log is relevent
+		// Store the result of the build log
+		currentBuild.result = "FAILURE"
+
+		// An error has occured, the build log is relevent
 		log_needed = true
 
-		//rethrow error later
+		// rethrow error later
 		err = caughtError
 
-		echo "Error caught, status: ${currentBuild.result}"
+		// print the error so it shows in the log
 		echo err.toString()
 	}