Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision d8fb85c0d5d5b9afdc9eeb234f365bd58550fed3)
+++ Jenkinsfile	(revision b8dd7862a616597d849afecd6da669154bcf6ce2)
@@ -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
 	}