Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision 82da9b8065ec7d8d29537c4723a631459218431c)
+++ Jenkins/FullBuild	(revision a2c5c1799ec77ea4f7f10bd094619668fa8b0bf8)
@@ -7,5 +7,5 @@
 def trigger_build(String arch) {
 	def result = build job: 'Cforall/master', 		\
-		parameters: [						\
+		parameters: [[						\
 			[$class: 'BooleanParameterValue', 		\
 			  name: 'isFullBuild', 				\
@@ -13,5 +13,6 @@
 			[$class: 'StringParameterValue', 		\
 			  name: 'buildArchitecture', 			\
-			  value: arch],					\
+			  value: arch]					\
+		],								\
 		propagate: false]