Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 4c51acab38fa84dddeaa94a4e5a4e099ed935554)
+++ Jenkinsfile	(revision d8fb85c0d5d5b9afdc9eeb234f365bd58550fed3)
@@ -173,5 +173,5 @@
 	catch (Exception err) {
 		echo "Archiving core dumps"
-		archiveArtifacts artifacts: "${BuildDir}/tests/crashes", fingerprint: true
+		archiveArtifacts artifacts: "${BuildDir}/tests/crashes/**", fingerprint: true
 		throw err
 	}