Index: Jenkins/FullBuild
===================================================================
--- Jenkins/FullBuild	(revision b94206bff36d3d9975c3b7cd8b0533281f29b3e2)
+++ Jenkins/FullBuild	(revision e67f54c7509e35bc171d113dd722a93bfb7808b5)
@@ -39,5 +39,5 @@
 
 					parallel (
-						{ node ('master') {
+						x64: { node ('master') {
 							build job: 'Cforall/master', 					\
 								parameters: [						\
@@ -50,5 +50,5 @@
 								]
 						}},
-						{ node ('master') {
+						x32: { node ('master') {
 							build job: 'Cforall/master', 					\
 								parameters: [						\