Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision 1b3eef86fda8a5600ee642bc6a6d7b210f660878)
+++ Jenkins/FullBuild	(revision 7f3f63cc9c42e8363dc7b2b0cf4b7e8d803c04e2)
@@ -56,5 +56,5 @@
 //===========================================================================================================
 
-def trigger_build(String cc, String arch, Boolean publish) {
+def trigger_build(String cc, String arch) {
 	def result = build job: 'Cforall/master', 		\
 		parameters: [						\