Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision deefdc1f2e20de00e52f63e2b4a61c4ff56ec682)
+++ Jenkinsfile	(revision c0588909f6e814eb042a866be741e31e5413dd72)
@@ -5,5 +5,5 @@
 //===========================================================================================================
 //Compilation script is done here but environnement set-up and error handling is done in main loop
-def cfa_build(boolean full_build) {
+def cfa_build(boolean full_build, String flags) {
 	build_stage 'Checkout'
 		def install_dir = pwd tmp: true
@@ -23,5 +23,5 @@
 		//escapes the sandbox
 		//Also specify the compiler by hand
-		sh "./configure CXX=${currentCC.cpp_cc} --with-backend-compiler=${currentCC.cfa_backend_cc} --prefix=${install_dir} --enable-silent-rules --quiet"
+		sh "./configure CXX=${currentCC.cpp_cc} CXXFLAGS=${flags} CFAFLAGS=${flags} --with-backend-compiler=${currentCC.cfa_backend_cc} --prefix=${install_dir} --enable-silent-rules --quiet"
 
 		//Compile the project
@@ -193,5 +193,5 @@
 				//Compile using gcc-4.9
 				currentCC = new CC_Desc('gcc-4.9', 'g++-4.9', 'gcc-4.9')
-				cfa_build(doPromoteBuild2DoLang)
+				cfa_build(doPromoteBuild2DoLang, architectureFlag)
 
 				//Compile latex documentation
@@ -201,9 +201,9 @@
 					//Compile using gcc-5
 					currentCC = new CC_Desc('gcc-5', 'g++-5', 'gcc-5')
-					cfa_build(true)
+					cfa_build(true, architectureFlag)
 
 					//Compile using gcc-4.9
 					currentCC = new CC_Desc('gcc-6', 'g++-6', 'gcc-6')
-					cfa_build(true)
+					cfa_build(true, architectureFlag)
 
 					//Push latest changes to do-lang repo
@@ -229,5 +229,5 @@
 	finally {
 		//Send email with final results
-		//notify_result(doPromoteBuild2DoLang, err, currentBuild.result, log_needed)
+		notify_result(doPromoteBuild2DoLang, err, currentBuild.result, log_needed)
 
 		/* Must re-throw exception to propagate error */
