1 files changed, 16 insertions, 0 deletions
diff --git a/tools/restorecc.nim b/tools/restorecc.nim
new file mode 100644
index 000000000..ff95427d8
--- /dev/null
+++ b/tools/restorecc.nim
@@ -0,0 +1,16 @@
+
+import os, strutils
+
+proc main(dir: string, wanted: string) =
+  for kind, path in walkDir(dir):
+    case kind
+    of pcFile:
+      let name = extractFilename(path)
+      if name == wanted:
+        let newLoc = path.replace("mingw_backup", "mingw")
+        echo "creating ", newLoc
+        copyFile(path, newLoc)
+    of pcDir: main(path, wanted)
+    else: discard
+
+main("dist/mingw_backup", paramStr(1))