From 610fcb35b4e1b49a22c47a43a137e656ece4d814 Mon Sep 17 00:00:00 2001 From: Daniel Gavin Date: Tue, 21 Sep 2021 00:27:57 +0200 Subject: change bat again to fix strange windows batch behavior --- build.bat | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) (limited to 'build.bat') diff --git a/build.bat b/build.bat index 1298415..3bf7d08 100644 --- a/build.bat +++ b/build.bat @@ -2,13 +2,9 @@ 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 + Odin/odin test tests -collection:shared=src -debug -opt:0 + if %errorlevel% neq 0 exit 1 + Odin/odin build src\ -show-timings -microarch:native -collection:shared=src -out:ols -opt:2 -thread-count:1 ) else ( - set ODIN="odin" -) - -%ODIN% build src\ -show-timings -microarch:native -collection:shared=src -out:ols -opt:2 \ No newline at end of file + odin build src\ -show-timings -microarch:native -collection:shared=src -out:ols -opt:2 +) \ No newline at end of file -- cgit v1.2.3