diff options
| -rwxr-xr-x | run_project_tests.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/run_project_tests.py b/run_project_tests.py index d3d43f2..a373aa0 100755 --- a/run_project_tests.py +++ b/run_project_tests.py @@ -660,7 +660,8 @@ def check_format(): continue for fname in files: if os.path.splitext(fname)[1].lower() in check_suffixes: - if os.path.split(fname)[1] == 'sitemap.txt': + bn = os.path.basename(fname) + if bn == 'sitemap.txt' or bn == 'meson-test-run.txt': continue fullname = os.path.join(root, fname) check_file(fullname) |