diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:00:37 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:00:37 +0200 |
| commit | 794d052d6f5ee5aaa17c6bfa24a2c2b7be0ca96a (patch) | |
| tree | 2e7ea40654ad1097d3b69bb866133007783071a8 /build.bat | |
| parent | 92b7c847cd285e44cebebec1a7d80c111f488f8b (diff) | |
ci
Diffstat (limited to 'build.bat')
| -rw-r--r-- | build.bat | 11 |
1 files changed, 8 insertions, 3 deletions
@@ -1,16 +1,21 @@ -@echo off
+@echo on
if "%1" == "CI" (
+ set "PATH=%cd%\Odin;%PATH%"
rem "Odin/odin.exe" test tests -collection:shared=src -debug
rem if %errorlevel% neq 0 exit 1
- "Odin/odin.exe" build src\ -show-timings -collection:shared=src -out:ols.exe -o:speed -thread-count:1
+
+ odin build src\ -show-timings -collection:shared=src -out:ols.exe -o:speed
+
+ call "tools/odinfmt/tests.bat"
+ if %errorlevel% neq 0 exit 1
) else if "%1" == "test" (
odin test tests -collection:shared=src -debug
) 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 -out:ols.exe -o:speed -no-bounds-check -debug
+ odin build src\ -show-timings -collection:shared=src -microarch:native -out:ols.exe -o:minimal -no-bounds-check -debug
) else (
odin build src\ -show-timings -microarch:native -collection:shared=src -out:ols.exe -o:speed -no-bounds-check
)
\ No newline at end of file |