aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--build.bat14
1 files changed, 5 insertions, 9 deletions
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