Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 28c35e2df7bbf22ffd7561aa771276e2a4d55b0e)
+++ 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