Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 852ae0eadf725a60480bf20abd6249d378714821)
+++ Jenkinsfile	(revision 39d22ef3d122e2c7360e373379319ebd197cc745)
@@ -58,5 +58,5 @@
 
 		//Store the result of the build log
-		currentBuild.result = "${tools.StageName} FAILURE".trim()
+		currentBuild.result = "${Tools.StageName} FAILURE".trim()
 
 		//rethrow error later