diff options
Diffstat (limited to 'tools/valgrind/tsan_analyze.py')
| -rw-r--r-- | tools/valgrind/tsan_analyze.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/valgrind/tsan_analyze.py b/tools/valgrind/tsan_analyze.py index eb0887a..ea19285 100644 --- a/tools/valgrind/tsan_analyze.py +++ b/tools/valgrind/tsan_analyze.py @@ -164,7 +164,7 @@ if __name__ == '__main__': "(used to normalize source paths in baseline)") (options, args) = parser.parse_args() - if not len(args) >= 1: + if len(args) == 0: parser.error("no filename specified") filenames = args |