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 /ci.sh | |
| parent | 3fae1fa52ceee347940eabd8cbca0e2c7edec036 (diff) | |
Build odinfmt in CI
Diffstat (limited to 'ci.sh')
| -rwxr-xr-x | ci.sh | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 $@ |