Changes in Jenkins/FullBuild [1b3eef8:c6a90bf]

File:

• Jenkins/FullBuild (modified) (1 diff)

Jenkins/FullBuild

@@ -56 +56 @@
 //===========================================================================================================
 
-def trigger_build(String cc, String arch, Boolean publish) {
+def trigger_build(String cc, String arch) {
         def result = build job: 'Cforall/master',               \
                 parameters: [                                           \