From e4c0e9073e3bbf233ad4e2a9d9623667357756d6 Mon Sep 17 00:00:00 2001 From: Luflosi Date: Mon, 1 Jul 2019 01:13:57 +0200 Subject: [PATCH] Clean "kitty/launcher" --- setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup.py b/setup.py index 82d8fed25..84547d361 100755 --- a/setup.py +++ b/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]