Merge branch 'clean_more' of https://github.com/Luflosi/kitty

2019-06-26 08:18:45 +05:30 · 2019-06-26 08:18:45 +05:30 · 7fd1053e0f
commit 7fd1053e0f
parent d0bf21ab16 e178e7f6a5
1 changed files with 1 additions and 1 deletions
--- a/setup.py
+++ b/setup.py
@ -839,7 +839,7 @@ def clean():
                else:
                    os.unlink(x)

-    safe_remove('build', 'compile_commands.json', 'linux-package', 'kitty.app')
+    safe_remove('build', 'compile_commands.json', 'linux-package', 'kitty.app', 'asan-launcher', 'kitty-profile')
    exclude = ('.git',)
    for root, dirs, files in os.walk('.', topdown=True):
        dirs[:] = [d for d in dirs if d not in exclude]