Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision b8f86962f0f61161238732425e3aa22be49d1e65)
+++ Jenkinsfile	(revision 1a6628019483f3b00e9011f93fb7740b51a8da28)
@@ -36,5 +36,8 @@
 
 def push_build() {
-	build_stage 'Push'
+	//Don't use the build_stage function which outputs the compiler
+	stage 'Push'
+
+		status_prefix = 'Push'
 
 		def out_dir = pwd tmp: true
@@ -167,5 +170,5 @@
 	finally {
 		//Send email with final results
-		notify_result(doPromoteBuild2DoLang, err != null, currentBuild.result, log_needed)
+		notify_result(doPromoteBuild2DoLang, err, currentBuild.result, log_needed)
 
 		/* Must re-throw exception to propagate error */
@@ -179,7 +182,7 @@
 //Routine responsible of sending the email notification once the build is completed
 //===========================================================================================================
-def notify_result(boolean promote, boolean success, String status, boolean log) {
+def notify_result(boolean promote, Exception err, String status, boolean log) {
 	if(promote)	{
-		if( !success ) {
+		if( err ) {
 			promote_email(status)
 		}