Changeset 32ab519 for Jenkinsfile

Timestamp:

May 26, 2021, 5:51:59 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

7684557

Parents:

375fb46

Message:

Jenkins now generates a setup.sh script when archiving test failures.
The script can be run to ease reproduction in gdb.

File:

• Jenkinsfile (modified) (1 diff)

Jenkinsfile

@@ -171 +171 @@
                 echo "Archiving core dumps"
                 dir (BuildDir) {
-                        archiveArtifacts artifacts: "tests/crashes/**/*,lib/**/lib*.so*", fingerprint: true
+                        sh """${SrcDir}/tools/jenkins/archive-gen.sh"""
+                        archiveArtifacts artifacts: "tests/crashes/**/*,lib/**/lib*.so*,setup.sh", fingerprint: true
                 }
                 throw err