diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2021-04-26 16:31:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-26 16:31:46 +0200 |
| commit | 2e73e58037c579ca33a52a2b675d5e894a4b33fb (patch) | |
| tree | 4e64d416b7f73860b0a3ac9e921e6214cb2536e6 /build.bat | |
| parent | c751160c558eb6a81637238375604ca8ad2c2c0d (diff) | |
Update build.bat
Diffstat (limited to 'build.bat')
| -rw-r--r-- | build.bat | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -7,7 +7,7 @@ if "%1" == "CI" ( set ODIN="odin"
)
-%ODIN% test tests -llvm-api
+%ODIN% test tests -llvm-api -collection:shared=src
if %errorlevel% neq 0 goto end_of_build
@@ -16,4 +16,4 @@ rem %ODIN% build src\ -show-timings -microarch:native -collection:shared=src -ou -:end_of_build
\ No newline at end of file +:end_of_build
|