Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 4969efd9c90f11983f1a6d17770c854c70729954)
+++ Jenkinsfile	(revision d3b95f1aa609f1e2b27c55744a74d431f33610a4)
@@ -7,75 +7,75 @@
 //===========================================================================================================
 
-node {
-	// Globals
-	BuildDir  = pwd tmp: true
-	SrcDir    = pwd tmp: false
-	Settings  = null
-	Tools     = null
-
-	// Local variables
-	def err = null
-	def log_needed = false
-
-	currentBuild.result = "SUCCESS"
-
-	try {
-		//Wrap build to add timestamp to command line
-		wrap([$class: 'TimestamperBuildWrapper']) {
-
+// Globals
+BuildDir  = pwd tmp: true
+SrcDir    = pwd tmp: false
+Settings  = null
+Tools     = null
+
+// Local variables
+def err = null
+def log_needed = false
+
+currentBuild.result = "SUCCESS"
+
+try {
+	//Wrap build to add timestamp to command line
+	wrap([$class: 'TimestamperBuildWrapper']) {
+
+		node {
 			Settings = prepare_build()
-
-			node(Settings.Architecture.node) {
-				BuildDir  = pwd tmp: true
-				SrcDir    = pwd tmp: false
-				currentBuild.description = "${currentBuild.description} on ${env.NODE_NAME}"
-
-				Tools.Clean()
-
-				Tools.Checkout()
-
-				build()
-
-				test()
-
-				benchmark()
-
-				build_doc()
-
-				publish()
-			}
-
-			// Update the build directories when exiting the node
+		}
+
+		node(Settings.Architecture.node) {
 			BuildDir  = pwd tmp: true
 			SrcDir    = pwd tmp: false
-		}
-	}
-
-	//If an exception is caught we need to change the status and remember to
-	//attach the build log to the email
-	catch (Exception caughtError) {
-		// 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
-		err = caughtError
-
-		// print the error so it shows in the log
-		echo err.toString()
-	}
-
-	finally {
-		//Send email with final results if this is not a full build
-		email(log_needed)
-
-		echo 'Build Completed'
-
-		/* Must re-throw exception to propagate error */
-		if (err) {
-			throw err
-		}
+			currentBuild.description = "${currentBuild.description} on ${env.NODE_NAME}"
+
+			Tools.Clean()
+
+			Tools.Checkout()
+
+			build()
+
+			test()
+
+			benchmark()
+
+			build_doc()
+
+			publish()
+		}
+
+		// Update the build directories when exiting the node
+		BuildDir  = pwd tmp: true
+		SrcDir    = pwd tmp: false
+	}
+}
+
+//If an exception is caught we need to change the status and remember to
+//attach the build log to the email
+catch (Exception caughtError) {
+	// 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
+	err = caughtError
+
+	// print the error so it shows in the log
+	echo err.toString()
+}
+
+finally {
+	//Send email with final results if this is not a full build
+	email(log_needed)
+
+	echo 'Build Completed'
+
+	/* Must re-throw exception to propagate error */
+	if (err) {
+		throw err
 	}
 }