use os.copyDir, not your own broken implementation of it
This commit is contained in:
parent
639fa92378
commit
3702d1f6c7
1 changed files with 0 additions and 9 deletions
9
koch.nim
9
koch.nim
|
|
@ -425,15 +425,6 @@ proc temp(args: string) =
|
||||||
copyExe(output, finalDest)
|
copyExe(output, finalDest)
|
||||||
if programArgs.len > 0: exec(finalDest & " " & programArgs)
|
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() =
|
proc pushCsources() =
|
||||||
if not dirExists("../csources/.git"):
|
if not dirExists("../csources/.git"):
|
||||||
quit "[Error] no csources git repository found"
|
quit "[Error] no csources git repository found"
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue