Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision f93f35a29ca99d9551e6f301389b624382e7c632)
+++ Jenkinsfile	(revision 05c34c383fed3f7742634eb2d19a0c5c482a4c8d)
@@ -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 '
 		}
 	}