| 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
|
|
|