Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision b90aace6d1004b46dd2f6937e4aa9b811e7fdd60)
+++ Jenkinsfile	(revision 909aebf77e5c84dee2d8df4bfce6b50fb89b38dc)
@@ -132,5 +132,5 @@
 			}
 			else {
-				sh 'make --no-print-directory -C tests timeouts="--timeout=600"'
+				sh 'make --no-print-directory -C tests'
 			}
 		}