summaryrefslogtreecommitdiff
path: root/ci.sh
diff options
context:
space:
mode:
authorLarz Conwell <larzconwell@gmail.com>2025-12-21 14:35:35 -0500
committerLarz Conwell <larzconwell@gmail.com>2025-12-21 14:35:35 -0500
commit72222ec6e8078c272891a8d50b2a07357170682f (patch)
tree9fe110d7c8dcc063cbad5f5cbf60cd259a502a7a /ci.sh
parent3fae1fa52ceee347940eabd8cbca0e2c7edec036 (diff)
Build odinfmt in CI
Diffstat (limited to 'ci.sh')
-rwxr-xr-xci.sh5
1 files changed, 4 insertions, 1 deletions
diff --git a/ci.sh b/ci.sh
index 35631c3..79128eb 100755
--- a/ci.sh
+++ b/ci.sh
@@ -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 $@