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