Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision d56c05d0943d88c5d163c26b5c1c91bfb8f39345)
+++ Jenkinsfile	(revision c13d97008d7d443856a4d9ff997c76ad0a33feb3)
@@ -176,11 +176,24 @@
 						  defaultValue: false,  					\
 						  description: 'If true, the build will be promoted to the do-lang git repository (on successful builds only)', \
-						  name: 'promoteBuild2DoLang' 				\
-						]] 									\
+						  name: 'promoteBuild2DoLang' 					\
+						]] 								\
 					]])
 
+				properties ([
+					[$class: 'ParametersDefinitionProperty',				\
+						parameterDefinitons : [						\
+						[$class: 'ChoiceParameterDefinition',				\
+						  choices : ['64-bit', '32-bit'],				\
+						  description : 'The architecture to use for compilation'	\
+						  name : 'buildArchitecture'					\
+						]]								\
+					]])
+
 				doPromoteBuild2DoLang = promoteBuild2DoLang == 'true'
+				architectureFlag = buildArchitecture == '64-bit' ? '-m64' : (buildArchitecture == '32-bit' ? '-m32' : 'ERROR')
 
 				echo "FULL BUILD = ${doPromoteBuild2DoLang}"
+				echo "Architecture = ${buildArchitecture} (flag ${architectureFlag})"
+				echo
 
 				//Compile using gcc-4.9