diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2024-06-03 22:52:34 +0200 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2024-06-03 22:52:34 +0200 |
| commit | fc4f36100b6a3a7082f7c5501433c6a04b4a5186 (patch) | |
| tree | a20d9d02d656c52245e51a22db7de2c75e8a677d /build.bat | |
| parent | fa36f11bff8443cd4d51e3a53f99766dcd9b5c05 (diff) | |
Fix build.bat
Diffstat (limited to 'build.bat')
| -rw-r--r-- | build.bat | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -5,12 +5,12 @@ if "%1" == "CI" ( set "PATH=%cd%\Odin;!PATH!"
rem odin test tests -collection:src=src
- rem if %errorlevel% neq 0 exit 1
+ rem if %errorlevel% neq 0 exit /b 1
odin build src\ -collection:src=src -out:ols.exe -o:speed
call "tools/odinfmt/tests.bat"
- if %errorlevel% neq 0 exit 1
+ if %errorlevel% neq 0 exit /b 1
) else if "%1" == "test" (
odin test tests -collection:src=src -debug
) else if "%1" == "single_test" (
|