Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision b19fdb9db67f5a8c210992bcd240b8c03d4afb1a)
+++ Jenkins/FullBuild	(revision 6ae5c225181a42e1a1108e4a76e072d373131a1f)
@@ -103,9 +103,9 @@
 }
 
-def trigger_dist(String commitId, String build) {
+def trigger_dist(String commitId, String buildNum) {
 	def result = build job: 'Cforall_Distribute_Ref',	\
 		parameters: [						\
 			string(name: 'GitRef', value: commitId),	\
-			string(name: 'Build' , value: build)	\
+			string(name: 'Build' , value: buildNum)	\
 		]