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