Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 143e6f35301472e9f83fffb6fa1b3368675521de)
+++ Jenkinsfile	(revision ddee972aabb3873f2db30019c9662d1c90795b43)
@@ -168,5 +168,6 @@
 			sh """make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=no  archiveerrors=${BuildDir}/tests/crashes/nodebug"""
 
-			if(fileExists "${BuildDir}/tests/crashes") {
+			def must_archive = fileExists "${BuildDir}/tests/crashes"
+			if(must_archive) {
 				archiveArtifacts artifacts: "${BuildDir}/tests/crashes", fingerprint: true
 			}