Index: Jenkins/Distribute
===================================================================
--- Jenkins/Distribute	(revision f78ead5d2225b387851dfb28a94d7b04231fda5b)
+++ Jenkins/Distribute	(revision c3d3c229d22ff53e5478072beb36a6885089adde)
@@ -26,5 +26,5 @@
 		wrap([$class: 'TimestamperBuildWrapper']) {
 
-			build_id = prepare_build()
+			gitref = prepare_build()
 
 			node('x64') {
@@ -34,5 +34,5 @@
 				Tools.clean()
 
-				// checkout()
+				Tools.checkout(gitref)
 			}
 
@@ -103,6 +103,6 @@
 			parameterDefinitions: [ 									\
 				[$class: 'StringParameterDefinition',						\
-					description: 'The build to put in the version',				\
-					name: 'Build',									\
+					description: 'The git commit to checkout',				\
+					name: 'GitRef',									\
 					defaultValue: '',  								\
 				],												\
@@ -117,13 +117,9 @@
 	Tools = load "Jenkins/tools.groovy"
 
-	currentBuild.description = "Distributing Binaries"
+	currentBuild.description = "Distributing Tarball"
+	def ref = params.GitRef ? params.GitRef : "HEAD"
+	echo "Distributing git commit ${ref}"
 
-	if (!params.Build) {
-		params.Build = Jenkins.instance.getItem('Cforall Full Build').lastSuccessfulBuild.number
-	}
-
-	echo "Distributing build ${params.Build}"
-
-	return params.Build
+	return params.GitRef
 }
 
