Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-06 16:45:39 +00:00
Code Issues Projects Releases Packages Wiki Activity

Fix check for unused subdir in wpt import script (#35036)

Browse source 
Before we appended all subdirs of unused_dir to unused_dirs, which caused errors on removing because root dir was already removed.

Fix #35026, tested locally.

Signed-off-by: Samson <16504129+sagudev@users.noreply.github.com>
This commit is contained in:
Samson 2025-01-17 07:28:14 +01:00 • committed by GitHub
parent 5295a45a2c
commit e1b4649faf
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/wpt/update.py
View file

@ -60,9 +60,7 @@ def remove_unused_metadata():
for meta_root in META_ROOTS:
for base_dir, dir_names, files in os.walk(meta_root):
# Skip recursing into any directories that were previously found to be missing.
if base_dir in unused_dirs:
# Skip processing any subdirectories of known missing directories.
unused_dirs += [os.path.join(base_dir, x) for x in dir_names]
if any([os.path.commonpath([base_dir, unused_dir]) == unused_dir for unused_dir in unused_dirs]):
continue
for dir_name in dir_names: