Changeset 3e93c00 for Jenkinsfile

Timestamp:

Aug 15, 2019, 11:28:03 AM (5 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

4c1b9ea8

Parents:

ddee972

Message:

Fix archiving to happen on errors not on success

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -164 +164 @@
         build_stage('Test: full', Settings.RunAllTests) {
                 dir (BuildDir) {
-                        //Run the tests from the tests directory
-                        sh """make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=yes archiveerrors=${BuildDir}/tests/crashes/debug"""
-                        sh """make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=no  archiveerrors=${BuildDir}/tests/crashes/nodebug"""
-
-                        def must_archive = fileExists "${BuildDir}/tests/crashes"
-                        if(must_archive) {
+                        try {
+                                //Run the tests from the tests directory
+                                sh """make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=yes archiveerrors=${BuildDir}/tests/crashes/debug"""
+                                sh """make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=no  archiveerrors=${BuildDir}/tests/crashes/nodebug"""
+                        }
+                        catch (Exception err) {
+                                echo "Archiving core dumps"
                                 archiveArtifacts artifacts: "${BuildDir}/tests/crashes", fingerprint: true
+                                throw err
                         }
                 }