From d35818b688d543f939885e560d31b21fccc0eb3a Mon Sep 17 00:00:00 2001 From: Benjamin Sergeant Date: Fri, 26 Apr 2019 11:53:50 -0700 Subject: [PATCH] bump timeout --- test/run.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/run.py b/test/run.py index 32234d42..ac268848 100755 --- a/test/run.py +++ b/test/run.py @@ -251,8 +251,8 @@ def executeJob(job): sys.stderr.write('.') # print('Executing ' + job['cmd'] + '...') - # 2 minutes of timeout for a single test - timeout = 2 * 60 + # 10 minutes of timeout for a single test, cf PR #42 + timeout = 10 * 60 command = Command(job['cmd']) timedout, ret = command.run(timeout)