From 3702d1f6c73f2d699587765bb1912d5e2f0d7dde Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Tue, 10 Jan 2017 11:26:48 +0100
Subject: [PATCH] use os.copyDir, not your own broken implementation of it

---
 koch.nim | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/koch.nim b/koch.nim
index 23c6fac527..ea58031c69 100644
--- a/koch.nim
+++ b/koch.nim
@@ -425,15 +425,6 @@ proc temp(args: string) =
   copyExe(output, finalDest)
   if programArgs.len > 0: exec(finalDest & " " & programArgs)
 
-proc copyDir(src, dest: string) =
-  for kind, path in walkDir(src, relative=true):
-    case kind
-    of pcDir: copyDir(dest / path, src / path)
-    of pcFile:
-      createDir(dest)
-      copyFile(src / path, dest / path)
-    else: discard
-
 proc pushCsources() =
   if not dirExists("../csources/.git"):
     quit "[Error] no csources git repository found"