From 7a39eb13a56b6df3f07a59113f4137612e49287e Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Wed, 10 Jul 2019 00:26:29 +0200
Subject: koch temp: use -d:leanCompiler if possible

---
 koch.nim | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/koch.nim b/koch.nim
index ac1388d9e..6819b8b0d 100644
--- a/koch.nim
+++ b/koch.nim
@@ -437,7 +437,9 @@ proc temp(args: string) =
   var finalDest = d / "bin" / "nim_temp".exe
   # 125 is the magic number to tell git bisect to skip the current
   # commit.
-  let (bootArgs, programArgs) = splitArgs(args)
+  var (bootArgs, programArgs) = splitArgs(args)
+  if "doc" notin programArgs and "threads" notin programArgs:
+    bootArgs.add " -d:leanCompiler"
   let nimexec = findNim()
   exec(nimexec & " c -d:debug --debugger:native " & bootArgs & " " & (d / "compiler" / "nim"), 125)
   copyExe(output, finalDest)
-- 
cgit 1.4.1-2-gfad0