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