Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 674081149fa6bb3dd05efce0381f3b6bbf88a920)
+++ Jenkinsfile	(revision b9fe89bef7dc42eaa9590f00a8391b0fe1b904a2)
@@ -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" tests debug=yes archiveerrors=${BuildDir}/tests/crashes/full-debug"""
+				sh """make ${jopt} --no-print-directory -C tests timeout=600 global-timeout=14400 tests debug=yes archive-errors=${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" tests debug=no archiveerrors=${BuildDir}/tests/crashes/full-nodebug"""
+				sh """make ${jopt} --no-print-directory -C tests timeout=600 global-timeout=14400 tests debug=no archive-errors=${BuildDir}/tests/crashes/full-nodebug"""
 			}
 		}