diff options
-rwxr-xr-x | scripts/ci/link-gtk.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/ci/link-gtk.py b/scripts/ci/link-gtk.py index 8eb3c057d..0690563f7 100755 --- a/scripts/ci/link-gtk.py +++ b/scripts/ci/link-gtk.py @@ -21,6 +21,8 @@ def cleanup_dir(target_dir: Path) -> None: for path in target_dir.iterdir(): if path.name in IGNORED_FILES: continue + if path.name in IGNORED_DIRS: + continue path.unlink() |