Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision efbca693d8c61faf7a3f1f5b495a0caf574f42b6)
+++ Jenkinsfile	(revision 9e5f4091e5672a20ce8dee32db0a42985802be1f)
@@ -88,19 +88,4 @@
 
 	try {
-		properties ([ 									\
-			[$class: 'ParametersDefinitionProperty', 				\
-				parameterDefinitions: [ 					\
-				[$class: 'BooleanParameterDefinition',  			\
-				  defaultValue: false,  					\
-				  description: 'If true, the build will be promoted to the do-lang git repository (on successful builds only)', \
-				  name: 'promote_build' 					\
-				]] 									\
-			]])
-
-		if(promote_build)
-		{
-			echo 'FULL BUILD'
-		}
-
 		//Prevent the build from exceeding 30 minutes
 		timeout(30) {
@@ -110,4 +95,19 @@
 
 				collect_git_info()
+
+				properties ([ 									\
+					[$class: 'ParametersDefinitionProperty', 				\
+						parameterDefinitions: [ 					\
+						[$class: 'BooleanParameterDefinition',  			\
+						  defaultValue: false,  					\
+						  description: 'If true, the build will be promoted to the do-lang git repository (on successful builds only)', \
+						  name: 'promote_build' 					\
+						]] 									\
+					]])
+
+				if(promote_build)
+				{
+					echo 'FULL BUILD'
+				}
 
 				//Compile using gcc-4.9