Only build asan-launcher if --sanitize is given

Fixes #328
2018-02-16 08:56:30 +05:30 · 2018-02-16 08:56:30 +05:30 · 70125e0de5
commit 70125e0de5
parent 8c5646b81b
1 changed files with 2 additions and 1 deletions
--- a/setup.py
+++ b/setup.py
@ -662,7 +662,8 @@ def main():
    os.chdir(os.path.dirname(os.path.abspath(__file__)))
    if args.action == 'build':
        build(args)
-        build_asan_launcher(args)
+        if args.sanitize:
+            build_asan_launcher(args)
        if args.profile:
            build_linux_launcher(args)
            print('kitty profile executable is', 'kitty-profile')