reinit repo after broken git

2024-12-29 10:10:09 +01:00
commit a30a897272
40 changed files with 13769 additions and 0 deletions
--- a/build.bat
+++ b/build.bat
@@ -0,0 +1,13 @@
+@echo off
+
+if not exist build\build_tool.exe (
+    mkdir build
+    pushd build
+    cl ..\src\meta\build_tool.c -Fe:build_tool.exe -Fd:build_tool.pdb /Zi /FC /nologo
+    rem clang ..\src\meta\build_tool.c -o build_tool.exe -g
+    popd
+)
+
+build\build_tool.exe
+
+