From 307c240878b1bdca79ef0aa0abfc487eea3bf418 Mon Sep 17 00:00:00 2001
From: ryuukk <44361234+ryuukk@users.noreply.github.com>
Date: Sat, 24 Jun 2023 16:18:09 +0200
Subject: Also improve build time for the batch script

---
 build.bat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'build.bat')

diff --git a/build.bat b/build.bat
index 4f85f51..12ec3b3 100644
--- a/build.bat
+++ b/build.bat
@@ -16,7 +16,7 @@ if "%1" == "CI" (
 ) else if "%1" == "single_test" (
     odin test tests -collection:shared=src -test-name:%2
 ) else if "%1" == "debug" (
-    odin build src\ -show-timings  -collection:shared=src  -microarch:native -out:ols.exe -o:minimal  -no-bounds-check -debug
+    odin build src\ -show-timings  -collection:shared=src  -microarch:native -out:ols.exe -o:minimal  -no-bounds-check -use-separate-modules -debug
 ) else (
     odin build src\ -show-timings -microarch:native -collection:shared=src -out:ols.exe -o:speed  -no-bounds-check
 )
-- 
cgit v1.2.3