Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 9e5f4091e5672a20ce8dee32db0a42985802be1f)
+++ Jenkinsfile	(revision 32f17dc1e0155d0ebdb964399913f48ac28622a2)
@@ -102,12 +102,9 @@
 						  defaultValue: false,  					\
 						  description: 'If true, the build will be promoted to the do-lang git repository (on successful builds only)', \
-						  name: 'promote_build' 					\
+						  name: 'promoteBuild2DoLang' 				\
 						]] 									\
 					]])
 
-				if(promote_build)
-				{
-					echo 'FULL BUILD'
-				}
+				echo "FULL BUILD = ${promoteBuild2DoLang}"
 
 				//Compile using gcc-4.9