diff options
| -rw-r--r-- | test/run_tests.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/run_tests.py b/test/run_tests.py index 6d477d880f3..8b135ddc544 100644 --- a/test/run_tests.py +++ b/test/run_tests.py @@ -69,7 +69,7 @@ if __name__ == '__main__': except: verbose = 0 - default_test_timeout = 120 + default_test_timeout = 600 # 10 minutes try: test_timeout = int(os.getenv("TIMEOUT", default_test_timeout)) except: |