diff options
| author | ryuukk <44361234+ryuukk@users.noreply.github.com> | 2023-06-24 16:18:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-24 16:18:09 +0200 |
| commit | 307c240878b1bdca79ef0aa0abfc487eea3bf418 (patch) | |
| tree | 93476717f7a5e525db6138caecc72d6c7251ed12 | |
| parent | f93560e1ede684a2ea0843186a704ad8a8aeabc2 (diff) | |
Also improve build time for the batch script
| -rw-r--r-- | build.bat | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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
)
|