diff options
| author | Bradley Lewis <22850972+BradLewis@users.noreply.github.com> | 2026-02-12 19:03:32 +1100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2026-02-12 19:03:32 +1100 |
| commit | 4cc9318992f394a9334add3fb83445561511b340 (patch) | |
| tree | ac44c1f5c0897c6d3252780e9e6150987b52bd05 /ci.bat | |
| parent | 69b863acfdb0f8e25caa4fb51f8f3516dc57d5d5 (diff) | |
| parent | 928a6d23dce5c6b519da7ef007148253ff98d35f (diff) | |
Merge pull request #1298 from BradLewis/fix/os-filepath-changes-windows
Fix filepath and os updates on windows
Diffstat (limited to 'ci.bat')
| -rw-r--r-- | ci.bat | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -11,18 +11,25 @@ if "%1" == "CI" ( set "PATH=%cd%\Odin;!PATH!" odin test tests -collection:src=src -define:ODIN_TEST_THREADS=1 - if %errorlevel% neq 0 exit /b 1 + if errorlevel 1 exit /b 1 odin build src\ -collection:src=src -out:ols.exe -o:speed -no-bounds-check -extra-linker-flags:"/STACK:4000000,2000000" -define:VERSION=%OLS_VERSION% + if errorlevel 1 exit /b 1 pushd . call "tools/odinfmt/tests.bat" - if %errorlevel% neq 0 exit /b 1 + if errorlevel 1 ( + popd + exit /b 1 + ) popd odin build tools\odinfmt\main.odin -file -collection:src=src -out:odinfmt.exe -o:speed -no-bounds-check -extra-linker-flags:"/STACK:4000000,2000000" + if errorlevel 1 exit /b 1 ) else ( odin build src\ -collection:src=src -out:ols.exe -o:speed -no-bounds-check -extra-linker-flags:"/STACK:4000000,2000000" -define:VERSION=%OLS_VERSION% + if errorlevel 1 exit /b 1 odin build tools\odinfmt\main.odin -file -collection:src=src -out:odinfmt.exe -o:speed -no-bounds-check -extra-linker-flags:"/STACK:4000000,2000000" + if errorlevel 1 exit /b 1 ) |