Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision a33dcd5cf6dd984b46de0674f101a57b65968bad)
+++ Jenkinsfile	(revision 32ab51990c8b23f5164708a928a6b69bc7a9885b)
@@ -171,5 +171,6 @@
 		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