Changeset bd50205 for Jenkinsfile

Timestamp:

Jun 8, 2021, 9:22:55 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

53d34343, cc5544a

Parents:

e018546

Message:

Jenkins email must run inside node

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -226 +226 @@
 //Standard build email notification
 def email(boolean log) {
-        //Since tokenizer doesn't work, figure stuff out from the environnement variables and command line
-        //Configurations for email format
-        echo 'Notifying users of result'
-
-        def project_name = (env.JOB_NAME =~ /(.+)\/.+/)[0][1].toLowerCase()
-        def email_subject = "[${project_name} git][BUILD# ${env.BUILD_NUMBER} - ${currentBuild.result}] - branch ${env.BRANCH_NAME}"
-        def email_body = """<p>This is an automated email from the Jenkins build machine. It was
-generated because of a git hooks/post-receive script following
-a ref change which was pushed to the C\u2200 repository.</p>
-""" + Tools.GitLogMessage()
-
-        def email_to = !Settings.IsSandbox ? "cforall@lists.uwaterloo.ca" : "tdelisle@uwaterloo.ca"
-
-        if( Settings && !Settings.Silent ) {
-                //send email notification
-                emailext body: email_body, subject: email_subject, to: email_to, attachLog: log
-        } else {
-                echo "Would send email to: ${email_to}"
-                echo "With title: ${email_subject}"
-                echo "Content: \n${email_body}"
+        node {
+                //Since tokenizer doesn't work, figure stuff out from the environnement variables and command line
+                //Configurations for email format
+                echo 'Notifying users of result'
+
+                def project_name = (env.JOB_NAME =~ /(.+)\/.+/)[0][1].toLowerCase()
+                def email_subject = "[${project_name} git][BUILD# ${env.BUILD_NUMBER} - ${currentBuild.result}] - branch ${env.BRANCH_NAME}"
+                def email_body = """<p>This is an automated email from the Jenkins build machine. It was
+        generated because of a git hooks/post-receive script following
+        a ref change which was pushed to the C\u2200 repository.</p>
+        """ + Tools.GitLogMessage()
+
+                def email_to = !Settings.IsSandbox ? "cforall@lists.uwaterloo.ca" : "tdelisle@uwaterloo.ca"
+
+                if( Settings && !Settings.Silent ) {
+                        //send email notification
+                        emailext body: email_body, subject: email_subject, to: email_to, attachLog: log
+                } else {
+                        echo "Would send email to: ${email_to}"
+                        echo "With title: ${email_subject}"
+                        echo "Content: \n${email_body}"
+                }
         }
 }