diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:01:41 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2022-07-27 16:01:41 +0200 |
| commit | d2ad3e01b35d3b6972a2944701a661cbc59f822b (patch) | |
| tree | 204df72dabacd750e1c3bc4939fc1705ac0ff4e0 | |
| parent | 794d052d6f5ee5aaa17c6bfa24a2c2b7be0ca96a (diff) | |
CI
| -rw-r--r-- | build.bat | 7 |
1 files changed, 4 insertions, 3 deletions
@@ -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
|