Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision c083c3d051f3db3793a548d324e8e7d5aa9560d1)
+++ Jenkinsfile	(revision 674081149fa6bb3dd05efce0381f3b6bbf88a920)
@@ -155,5 +155,5 @@
 			dir (BuildDir) {
 				//Run the tests from the tests directory
-				sh """make ${jopt} --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=yes archiveerrors=${BuildDir}/tests/crashes/full-debug"""
+				sh """make ${jopt} --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" tests debug=yes archiveerrors=${BuildDir}/tests/crashes/full-debug"""
 			}
 		}
@@ -162,5 +162,5 @@
 			dir (BuildDir) {
 				//Run the tests from the tests directory
-				sh """make ${jopt} --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=no  archiveerrors=${BuildDir}/tests/crashes/full-nodebug"""
+				sh """make ${jopt} --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" tests debug=no archiveerrors=${BuildDir}/tests/crashes/full-nodebug"""
 			}
 		}