Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 240785344da1ba6366aa5cd10a10d2d7c06c1f10)
+++ Jenkinsfile	(revision 4ae8a6c7c9ab92c6c04f0208bab802a559013364)
@@ -377,5 +377,5 @@
 		]])
 
-	load "${SrcDir}/tools/PrettyGitLogs.sh"
+	load "tools/PrettyGitLogs.sh"
 
 	final settings = new BuildSettings(params, env.BRANCH_NAME)