mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-06-24 18:07:01 +00:00
Merge branch 'clean_kitty_launcher' of https://github.com/Luflosi/kitty
This commit is contained in:
commit
41ebb72276
1 changed files with 1 additions and 1 deletions
2
setup.py
2
setup.py
|
|
@ -850,7 +850,7 @@ def clean():
|
|||
else:
|
||||
os.unlink(x)
|
||||
|
||||
safe_remove('build', 'compile_commands.json', 'linux-package', 'kitty.app', 'asan-launcher', 'kitty-profile')
|
||||
safe_remove('build', 'compile_commands.json', 'linux-package', 'kitty.app', 'asan-launcher', 'kitty-profile', 'kitty/launcher')
|
||||
exclude = ('.git',)
|
||||
for root, dirs, files in os.walk('.', topdown=True):
|
||||
dirs[:] = [d for d in dirs if d not in exclude]
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue