Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 76845573a2cbb31e8b58b2295497a99ae825cfa1)
+++ Jenkinsfile	(revision e72969aa2cd39b30b1dd5fe32c176e0b11e8531f)
@@ -172,6 +172,8 @@
 		echo "Archiving core dumps"
 		dir (BuildDir) {
-			sh """${SrcDir}/tools/jenkins/archive-gen.sh"""
-			archiveArtifacts artifacts: "tests/crashes/**/*,lib/**/lib*.so*,setup.sh", fingerprint: true
+			if( fileExists 'tests/crashes' ) {
+				sh """${SrcDir}/tools/jenkins/archive-gen.sh"""
+				archiveArtifacts artifacts: "tests/crashes/**/*,lib/**/lib*.so*,setup.sh", fingerprint: true
+			}
 		}
 		throw err