Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision cdcd53dca689985e90e65039a76777261b54c5ea)
+++ Jenkinsfile	(revision da7454c9ddb30bc7658a647a83559efd03c17858)
@@ -130,6 +130,6 @@
 			//Run the tests from the tests directory
 			if ( Settings.RunAllTests ) {
-				sh 'make --no-print-directory -C tests timeouts="--timeout=600" all-tests debug=yes'
-				sh 'make --no-print-directory -C tests timeouts="--timeout=600" all-tests debug=no '
+				sh 'make --no-print-directory -C tests timeouts="--timeout=1200" all-tests debug=yes'
+				sh 'make --no-print-directory -C tests timeouts="--timeout=1200" all-tests debug=no '
 			}
 			else {