Add files via upload

2025-01-31 23:43:04 +03:00
parent 805076e2c6
commit c9c5614f56
10 changed files with 983 additions and 0 deletions
--- a/scripts/config_copy.py
+++ b/scripts/config_copy.py
@@ -0,0 +1,6 @@
+Import('env')
+import os
+import shutil
+
+if not os.path.isfile("include/config.h"):
+    shutil.copy("config.example", "include/config.h")