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