Index: Jenkins/Distribute
===================================================================
--- Jenkins/Distribute	(revision fd0ba758aa3a4904ea42d24a32bc72f2fe16de40)
+++ Jenkins/Distribute	(revision 4b138ddf1afb0be402a2f95a0192ef029114cd86)
@@ -15,5 +15,4 @@
 	SrcDir    = pwd tmp: false
 	Settings  = null
-	Tools = load "Jenkins/tools.groovy"
 
 	// Local variables
@@ -117,4 +116,11 @@
 		]])
 
+	// It's unfortunate but it looks like we need to checkout the entire repo just to get
+	// - the pretty git printer
+	// - Jenkins.tools
+	checkout scm
+
+	Tools = load "Jenkins/tools.groovy"
+
 	currentBuild.description = "Distributing Binaries"
 	echo "Distributing build ${params.Build}"