diff options
Diffstat (limited to 'tools/valgrind/valgrind_analyze.py')
-rwxr-xr-x | tools/valgrind/valgrind_analyze.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/valgrind/valgrind_analyze.py b/tools/valgrind/valgrind_analyze.py index 4ddbff8..a8e2012 100755 --- a/tools/valgrind/valgrind_analyze.py +++ b/tools/valgrind/valgrind_analyze.py @@ -190,9 +190,9 @@ class ValgrindAnalyze: self._errors = set() for file in files: - # Wait up to a minute for valgrind to finish writing. + # Wait up to ten minutes for valgrind to finish writing. f = open(file, "r") - ntries = 60 + ntries = 600 for tries in range(0, ntries): f.seek(0) if sum((1 for line in f if '</valgrindoutput>' in line)) > 0: |