Index: testing/tools/run_corpus_tests.py |
diff --git a/testing/tools/run_corpus_tests.py b/testing/tools/run_corpus_tests.py |
index 0c44cc697298d58a4a1a24bde042354a8b19d3a3..6612ee77be63ae9b1b3982f78d3268419028d1e1 100755 |
--- a/testing/tools/run_corpus_tests.py |
+++ b/testing/tools/run_corpus_tests.py |
@@ -127,8 +127,9 @@ def main(): |
for input_filename in filename_list: |
if input_file_re.match(input_filename): |
input_path = os.path.join(source_dir, input_filename) |
- if os.path.isfile(input_path): |
- test_cases.append((input_filename, source_dir)) |
+ if not test_suppressor.IsExecutionSuppressed(input_path): |
+ if os.path.isfile(input_path): |
+ test_cases.append((input_filename, source_dir)) |
if options.num_workers > 1 and len(test_cases) > 1: |
try: |