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