Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision f93f35a29ca99d9551e6f301389b624382e7c632)
+++ Jenkinsfile	(revision 35a408b7afe5994cf2251ff7078ad4636f315997)
@@ -138,6 +138,6 @@
 		dir (BuildDir) {
 			//Run the tests from the tests directory
-			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 '
+			sh 'make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=yes'
+			sh 'make --no-print-directory -C tests timeouts="--timeout=600 --global-timeout=14400" all-tests debug=no '
 		}
 	}