diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2021-09-21 00:07:33 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2021-09-21 00:07:33 +0200 |
| commit | f944af752802e8104a1892027e1d4c5fb03a469e (patch) | |
| tree | 69c558ef5913a968751f894686942331af6fc701 /build.bat | |
| parent | f58fdcb80e2b5436d54ec634b6e44abcd497db3f (diff) | |
Change configs for ci build
Diffstat (limited to 'build.bat')
| -rw-r--r-- | build.bat | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -5,6 +5,8 @@ if "%1" == "CI" ( set ODIN="Odin/odin"
%ODIN% test tests -collection:shared=src -debug -opt:0
if %errorlevel% neq 0 if "%x1" == "CI" exit 1
+ %ODIN% build src\ -show-timings -microarch:native -collection:shared=src -out:ols -opt:2 -thread-count:1
+ exit 0
) else (
set ODIN="odin"
)
|