diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2024-07-11 21:08:10 +0200 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2024-07-11 21:08:10 +0200 |
| commit | 05a3f89a818b4a42e8c194358a31ecc995d5953b (patch) | |
| tree | de4dcaf027e2b2393762e90c824420c083140088 /build.bat | |
| parent | 28f10b496b051560ad60f35a57a0ffde543b053e (diff) | |
CI should use ci.bat/sh instead
Diffstat (limited to 'build.bat')
| -rw-r--r-- | build.bat | 12 |
1 files changed, 1 insertions, 11 deletions
@@ -1,17 +1,7 @@ @echo off
setlocal enabledelayedexpansion
-if "%1" == "CI" (
- set "PATH=%cd%\Odin;!PATH!"
-
- rem odin test tests -collection:src=src -define:ODIN_TEST_THREADS=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 /b 1
-) else if "%1" == "test" (
+if "%1" == "test" (
odin test tests -collection:src=src -debug -define:ODIN_TEST_THREADS=1
) else if "%1" == "single_test" (
odin test tests -collection:src=src -define:ODIN_TEST_NAMES=%2 -debug
|