Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 953d433d1ba09387efd74f8c7d61d0090097d734)
+++ Jenkinsfile	(revision 1483a16dc5d6bd15fe6bf9291e9659dcf1d35408)
@@ -12,6 +12,5 @@
 	SrcDir    = pwd tmp: false
 	Settings  = null
-	tools     = null
-	build_stage = null
+	Tools     = null
 
 	// Local variables
@@ -509,6 +508,5 @@
 	checkout scm
 
-	tools = load "Jenkins/tools.groovy"
-	build_stage = tools.build_stage
+	Tools = load "Jenkins/tools.groovy"
 
 	final settings = new BuildSettings(params, env.BRANCH_NAME)