From 71a1bbffd73f4cc53aaee2fa824018e5b7a709a4 Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Fri, 26 Aug 2016 15:16:02 +0200
Subject: [PATCH] koch boot: use different nimcaches for release and debug
 builds

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

diff --git a/koch.nim b/koch.nim
index 04f6a4e4e5..eb25a7480e 100644
--- a/koch.nim
+++ b/koch.nim
@@ -244,11 +244,13 @@ proc boot(args: string) =
   var finalDest = "bin" / "nim".exe
   # default to use the 'c' command:
   let bootOptions = if args.len == 0 or args.startsWith("-"): "c" else: ""
+  let smartNimcache = if "release" in args: "rnimcache" else: "dnimcache"
 
   copyExe(findStartNim(), 0.thVersion)
   for i in 0..2:
     echo "iteration: ", i+1
-    exec i.thVersion & " $# $# compiler" / "nim.nim" % [bootOptions, args]
+    exec i.thVersion & " $# $# --nimcache:$# compiler" / "nim.nim" % [bootOptions, args,
+        smartNimcache]
     if sameFileContent(output, i.thVersion):
       copyExe(output, finalDest)
       echo "executables are equal: SUCCESS!"