diff options
| author | Larz Conwell <larzconwell@gmail.com> | 2025-12-21 14:35:35 -0500 |
|---|---|---|
| committer | Larz Conwell <larzconwell@gmail.com> | 2025-12-21 14:35:35 -0500 |
| commit | 72222ec6e8078c272891a8d50b2a07357170682f (patch) | |
| tree | 9fe110d7c8dcc063cbad5f5cbf60cd259a502a7a | |
| parent | 3fae1fa52ceee347940eabd8cbca0e2c7edec036 (diff) | |
Build odinfmt in CI
| -rw-r--r-- | ci.bat | 6 | ||||
| -rwxr-xr-x | ci.sh | 5 |
2 files changed, 10 insertions, 1 deletions
@@ -15,8 +15,14 @@ if "%1" == "CI" ( odin build src\ -collection:src=src -out:ols.exe -o:speed -no-bounds-check -extra-linker-flags:"/STACK:4000000,2000000" -define:VERSION=%OLS_VERSION% + pushd . call "tools/odinfmt/tests.bat" if %errorlevel% neq 0 exit /b 1 + popd + + odin build tools\odinfmt\main.odin -file -collection:src=src -out:odinfmt.exe -o:speed -no-bounds-check -extra-linker-flags:"/STACK:4000000,2000000" ) else ( odin build src\ -collection:src=src -out:ols.exe -o:speed -no-bounds-check -extra-linker-flags:"/STACK:4000000,2000000" -define:VERSION=%OLS_VERSION% + + odin build tools\odinfmt\main.odin -file -collection:src=src -out:odinfmt.exe -o:speed -no-bounds-check -extra-linker-flags:"/STACK:4000000,2000000" ) @@ -38,5 +38,8 @@ then export PATH=$PATH:$PWD/Odin fi - +echo "Building ols" odin build src/ -show-timings -collection:src=src -out:ols -no-bounds-check -o:speed -define:VERSION=$OLS_VERSION $@ + +echo "Building odinfmt" +odin build tools/odinfmt/main.odin -file -show-timings -collection:src=src -out:odinfmt -no-bounds-check -o:speed $@ |