diff options
Diffstat (limited to 'ci.bat')
| -rw-r--r-- | ci.bat | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -7,10 +7,10 @@ if "%1" == "CI" ( 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 + odin build src\ -collection:src=src -out:ols.exe -o:speed -extra-linker-flags:"/STACK:4000000,2000000" call "tools/odinfmt/tests.bat" if %errorlevel% neq 0 exit /b 1 ) else ( - odin build src\ -collection:src=src -out:ols.exe -o:speed -no-bounds-check + odin build src\ -collection:src=src -out:ols.exe -o:speed -no-bounds-check -extra-linker-flags:"/STACK:4000000,2000000" )
\ No newline at end of file |