Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision eda8175e2bd511ec53554e874a52684d2caab54b)
+++ Jenkinsfile	(revision b90aace6d1004b46dd2f6937e4aa9b811e7fdd60)
@@ -128,9 +128,9 @@
 			//Run the tests from the tests directory
 			if ( Settings.RunAllTests ) {
-				sh 'make --no-print-directory -C tests all-tests debug=yes'
-				sh 'make --no-print-directory -C tests all-tests debug=no '
+				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 '
 			}
 			else {
-				sh 'make --no-print-directory -C tests'
+				sh 'make --no-print-directory -C tests timeouts="--timeout=600"'
 			}
 		}