Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 8ca82def44b455dc120855bd6756fcbbc9ddfb99)
+++ Jenkinsfile	(revision 953d433d1ba09387efd74f8c7d61d0090097d734)
@@ -12,4 +12,6 @@
 	SrcDir    = pwd tmp: false
 	Settings  = null
+	tools     = null
+	build_stage = null
 
 	// Local variables