Index: testing/tools/run_corpus_tests.py |
diff --git a/testing/tools/run_corpus_tests.py b/testing/tools/run_corpus_tests.py |
index 41d3c12a3be73cd81addfde06ad7d8383735f80c..21ebd1968d09e0fe5d5d36e1ee71e11a89d7d3a5 100755 |
--- a/testing/tools/run_corpus_tests.py |
+++ b/testing/tools/run_corpus_tests.py |
@@ -37,6 +37,11 @@ def test_one_file(input_filename, source_dir, working_dir, |
os.remove(image) |
shutil.copyfile(input_path, pdf_path) |
+ input_event_path = os.path.splitext(input_path)[0] + ".evt" |
+ output_event_path = os.path.splitext(pdf_path)[0] + ".evt" |
+ if os.path.exists(input_event_path): |
+ shutil.copyfile(input_event_path, output_event_path) |
+ |
sys.stdout.flush() |
# add Dr. Memory wrapper if exist |
# remove .pdf suffix |