diff options
-rwxr-xr-x | run_tests.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run_tests.py b/run_tests.py index 34258d8..b71ab6d 100755 --- a/run_tests.py +++ b/run_tests.py @@ -168,7 +168,7 @@ def validate_install(srcdir, installdir): # Check if there are any unexpected files found = get_relative_files_list_from_dir(installdir) for fname in found: - if fname not in expected: + if fname not in expected and not fname.endswith('.pdb'): ret_msg += 'Extra file {0} found.\n'.format(fname) return ret_msg |