Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 4c1b9ea8543ea6634e95aee694f98a3779ac9126)
+++ Jenkinsfile	(revision 4c51acab38fa84dddeaa94a4e5a4e099ed935554)
@@ -159,5 +159,5 @@
 			dir (BuildDir) {
 				//Run the tests from the tests directory
-				sh 'make --no-print-directory -C tests'
+				sh "make --no-print-directory -C tests archiveerrors=${BuildDir}/tests/crashes/short"
 			}
 		}
@@ -166,6 +166,6 @@
 			dir (BuildDir) {
 					//Run the tests from the tests directory
-					sh """make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=yes archiveerrors=${BuildDir}/tests/crashes/debug"""
-					sh """make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=no  archiveerrors=${BuildDir}/tests/crashes/nodebug"""
+					sh """make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=yes archiveerrors=${BuildDir}/tests/crashes/full-debug"""
+					sh """make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=no  archiveerrors=${BuildDir}/tests/crashes/full-nodebug"""
 			}
 		}