Use new build scripts

2023-10-09 21:49:40 +02:00
parent 1eb6f2e0bd
commit 597278e0d1
4 changed files with 188 additions and 178 deletions
--- a/src/Tools/build_all.bat
+++ b/src/Tools/build_all.bat
@@ -1,20 +1,20 @@
-@echo off
-setlocal EnableDelayedExpansion
-rem build_all {build|check|clean}
-
-if %1 == clean (
-    for %%a in (%clean_tools%) do (
-        call .\run_cargo %%a %1 release windows
-        cd %cur_dir%
-    )
-)
-
-for %%a in (%win_tools%) do (
-    call .\run_cargo %%a %1 release windows
-    cd %cur_dir%
-)
-
-for %%a in (%linux_tools%) do (
-    call .\run_cargo %%a %1 release linux
-    cd %cur_dir%
+@echo off
+setlocal EnableDelayedExpansion
+rem build_all {build|check|clean}
+
+if %1 == clean (
+    for %%a in (%clean_tools%) do (
+        call .\run_cargo %%a %1 release windows
+        cd %cur_dir%
+    )
+)
+
+for %%a in (%win_tools%) do (
+    call .\run_cargo %%a %1 release windows
+    cd %cur_dir%
+)
+
+for %%a in (%linux_tools%) do (
+    call .\run_cargo %%a %1 release linux
+    cd %cur_dir%
 )