Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision d8d9130fd30d0f5c50c5cadf89268cc5dea21e64)
+++ Jenkinsfile	(revision 234ede4dd2693c9213d5ec33f293216ab49f7822)
@@ -507,5 +507,5 @@
 	checkout scm
 
-	tools = load "${SrcDir}/Jenkins/tools.Groovy "
+	tools = load "${SrcDir}/Jenkins/tools.groovy "
 	build_stage = tools.build_stage