diff --git a/test/lib/test_suite.py b/test/lib/test_suite.py index 91c0f23fa5c1053742b26b1731c5b2bfdda39113..9c41a10475abca6468b37d1cb2dc24d81e05c77c 100644 --- a/test/lib/test_suite.py +++ b/test/lib/test_suite.py @@ -54,7 +54,7 @@ class FilteredStream: def check_valgrind_log(path_to_log): """ Check that there were no warnings in the log.""" - return os.path.getsize(path_to_log) != 0 + return os.path.exists(path_to_log) and os.path.getsize(path_to_log) != 0 def print_tail_n(filename, num_lines):