diff options
| -rw-r--r-- | build.bat | 14 |
1 files changed, 5 insertions, 9 deletions
@@ -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 |