diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:47:49 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:47:49 +0200 |
| commit | 56c8aa0362f8e6f2b8b1c019f4d09fc1230b5eaa (patch) | |
| tree | de1f60f659af13317019cb4aab1e5526579b527b /build.bat | |
| parent | 1895b3b04fb0a88a2a8b1778908140555a372074 (diff) | |
CI added for odinfmt
Diffstat (limited to 'build.bat')
| -rw-r--r-- | build.bat | 12 |
1 files changed, 9 insertions, 3 deletions
@@ -2,15 +2,21 @@ if "%1" == "CI" (
- rem "Odin/odin.exe" test tests -collection:shared=src -debug
+ set "PATH=%cd%\Odin;%PATH%"
+
+ rem odin test tests -collection:shared=src
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\ -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 |