diff options
| author | lovetox <philipp@hoerist.com> | 2022-01-11 15:57:11 +0300 |
|---|---|---|
| committer | lovetox <philipp@hoerist.com> | 2022-01-11 23:39:39 +0300 |
| commit | da1849fbd435452629d289ea29993e23b36ed26e (patch) | |
| tree | 6d16387a59a2d0c1007961d08cc9cce149d2b95c /scripts | |
| parent | a916538ff7aa6519d33ad9239c8f1f7bc19a63fc (diff) | |
Scripts: Improve link-gtk.py
Diffstat (limited to 'scripts')
| -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() |