Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 4ae8a6c7c9ab92c6c04f0208bab802a559013364)
+++ Jenkinsfile	(revision 4c55047b3ed3bc43426f4875116ff14e4eda105b)
@@ -7,6 +7,6 @@
 node('master') {
 	// Globals
-	BuildDir  = null
-	SrcDir    = null
+	BuildDir  = pwd tmp: true
+	SrcDir    = pwd tmp: false
 	Settings  = null
 	StageName = ''
@@ -46,4 +46,8 @@
 				publish()
 			}
+
+			// Update the build directories when exiting the node
+			BuildDir  = pwd tmp: true
+			SrcDir    = pwd tmp: false
 
 			notify_server(45)
@@ -377,5 +381,6 @@
 		]])
 
-	load "tools/PrettyGitLogs.sh"
+	// It's unfortunate but it looks like we need to checkout the entire repo just to get the pretty git printer
+	checkout scm
 
 	final settings = new BuildSettings(params, env.BRANCH_NAME)