CI

2 files changed, 2 insertions, 2 deletions

diff --git a/build.bat b/build.bat
index 0aaa816..ef381b4 100644
--- a/build.bat
+++ b/build.bat
@@ -7,7 +7,7 @@ if "%1" == "CI" (
     rem odin test tests -collection:shared=src 

     rem if %errorlevel% neq 0 exit 1

     

-    odin build src\ -show-timings -collection:shared=src -out:ols.exe -o:speed

+    odin build src\ -collection:shared=src -out:ols.exe -o:speed

 

     call "tools/odinfmt/tests.bat"

     if %errorlevel% neq 0 exit 1

diff --git a/build.sh b/build.sh
index 91bb428..91cc8cc 100755
--- a/build.sh
+++ b/build.sh
@@ -42,4 +42,4 @@ then
     cd ..
 fi
 
-odin build src/ -show-timings  -collection:shared=src -out:ols -o:speed
+odin build src/ -collection:shared=src -out:ols -o:speed