From 70125e0de559129c025884d8d5d56ce477ec6334 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Fri, 16 Feb 2018 08:56:30 +0530
Subject: [PATCH] Only build asan-launcher if --sanitize is given

Fixes #328
---
 setup.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/setup.py b/setup.py
index d48cc35db..e64ab3642 100755
--- 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')