From d2ad3e01b35d3b6972a2944701a661cbc59f822b Mon Sep 17 00:00:00 2001 From: Daniel Gavin Date: Wed, 27 Jul 2022 16:01:41 +0200 Subject: CI --- build.bat | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/build.bat b/build.bat index 177a20f..c846a6b 100644 --- a/build.bat +++ b/build.bat @@ -1,10 +1,11 @@ -@echo on +@echo off if "%1" == "CI" ( set "PATH=%cd%\Odin;%PATH%" - rem "Odin/odin.exe" test tests -collection:shared=src -debug - rem if %errorlevel% neq 0 exit 1 + + odin test tests -collection:shared=src -debug + if %errorlevel% neq 0 exit 1 odin build src\ -show-timings -collection:shared=src -out:ols.exe -o:speed -- cgit v1.2.3