diff options
| author | Daniel Gavin <danielgavin5@hotmail.com> | 2021-09-21 00:27:57 +0200 |
|---|---|---|
| committer | Daniel Gavin <danielgavin5@hotmail.com> | 2021-09-21 00:27:57 +0200 |
| commit | 610fcb35b4e1b49a22c47a43a137e656ece4d814 (patch) | |
| tree | 6f1ce440fe7ecb71c0bfd3bf1b51c8eb35fbb296 | |
| parent | f944af752802e8104a1892027e1d4c5fb03a469e (diff) | |
change bat again to fix strange windows batch behavior
| -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 |