Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision a2c5c1799ec77ea4f7f10bd094619668fa8b0bf8)
+++ Jenkins/FullBuild	(revision 5ee04820821f3c413e6d1a9642ce51fc47894d6c)
@@ -7,5 +7,5 @@
 def trigger_build(String arch) {
 	def result = build job: 'Cforall/master', 		\
-		parameters: [[						\
+		parameters: [						\
 			[$class: 'BooleanParameterValue', 		\
 			  name: 'isFullBuild', 				\
@@ -15,5 +15,5 @@
 			  value: arch]					\
 		],								\
-		propagate: false]
+		propagate: false
 
 	echo(result.result)