diff options
-rw-r--r-- | koch.nim | 4 |
1 files changed, 3 insertions, 1 deletions
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) |