Changeset d3b95f1 for Jenkinsfile

Timestamp:

Jun 8, 2021, 8:49:28 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:

c0c4d4f

Parents:

5e64df8e

Message:

Trying new structure that uses fewer nodes.

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -7 +7 @@
 //===========================================================================================================
 
-node {
-        // Globals
-        BuildDir  = pwd tmp: true
-        SrcDir    = pwd tmp: false
-        Settings  = null
-        Tools     = null
-
-        // Local variables
-        def err = null
-        def log_needed = false
-
-        currentBuild.result = "SUCCESS"
-
-        try {
-                //Wrap build to add timestamp to command line
-                wrap([$class: 'TimestamperBuildWrapper']) {
-
+// Globals
+BuildDir  = pwd tmp: true
+SrcDir    = pwd tmp: false
+Settings  = null
+Tools     = null
+
+// Local variables
+def err = null
+def log_needed = false
+
+currentBuild.result = "SUCCESS"
+
+try {
+        //Wrap build to add timestamp to command line
+        wrap([$class: 'TimestamperBuildWrapper']) {
+
+                node {
                         Settings = prepare_build()
-
-                        node(Settings.Architecture.node) {
-                                BuildDir  = pwd tmp: true
-                                SrcDir    = pwd tmp: false
-                                currentBuild.description = "${currentBuild.description} on ${env.NODE_NAME}"
-
-                                Tools.Clean()
-
-                                Tools.Checkout()
-
-                                build()
-
-                                test()
-
-                                benchmark()
-
-                                build_doc()
-
-                                publish()
-                        }
-
-                        // Update the build directories when exiting the node
+                }
+
+                node(Settings.Architecture.node) {
                         BuildDir  = pwd tmp: true
                         SrcDir    = pwd tmp: false
-                }
-        }
-
-        //If an exception is caught we need to change the status and remember to
-        //attach the build log to the email
-        catch (Exception caughtError) {
-                // Store the result of the build log
-                currentBuild.result = "FAILURE"
-
-                // An error has occured, the build log is relevent
-                log_needed = true
-
-                // rethrow error later
-                err = caughtError
-
-                // print the error so it shows in the log
-                echo err.toString()
-        }
-
-        finally {
-                //Send email with final results if this is not a full build
-                email(log_needed)
-
-                echo 'Build Completed'
-
-                /* Must re-throw exception to propagate error */
-                if (err) {
-                        throw err
-                }
+                        currentBuild.description = "${currentBuild.description} on ${env.NODE_NAME}"
+
+                        Tools.Clean()
+
+                        Tools.Checkout()
+
+                        build()
+
+                        test()
+
+                        benchmark()
+
+                        build_doc()
+
+                        publish()
+                }
+
+                // Update the build directories when exiting the node
+                BuildDir  = pwd tmp: true
+                SrcDir    = pwd tmp: false
+        }
+}
+
+//If an exception is caught we need to change the status and remember to
+//attach the build log to the email
+catch (Exception caughtError) {
+        // Store the result of the build log
+        currentBuild.result = "FAILURE"
+
+        // An error has occured, the build log is relevent
+        log_needed = true
+
+        // rethrow error later
+        err = caughtError
+
+        // print the error so it shows in the log
+        echo err.toString()
+}
+
+finally {
+        //Send email with final results if this is not a full build
+        email(log_needed)
+
+        echo 'Build Completed'
+
+        /* Must re-throw exception to propagate error */
+        if (err) {
+                throw err
         }
 }