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.sh | |
| parent | 28f10b496b051560ad60f35a57a0ffde543b053e (diff) | |
CI should use ci.bat/sh instead
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 32 |
1 files changed, 0 insertions, 32 deletions
@@ -1,38 +1,6 @@ #!/usr/bin/env bash -if [[ $1 == "CI" ]] -then - shift - - export PATH=$PATH:$PWD/Odin - #BUG in odin test, it makes the executable with the same name as a folder and gets confused. - cd tests - - odin test ../tests -collection:src=../src -o:speed $@ -define:ODIN_TEST_THREADS=1 - - if ([ $? -ne 0 ]) - then - echo "Ols tests failed" - exit 1 - fi - - cd .. - - tools/odinfmt/tests.sh - - if ([ $? -ne 0 ]) - then - echo "Odinfmt tests failed" - exit 1 - fi -fi -if [[ $1 == "CI_NO_TESTS" ]] -then - shift - - export PATH=$PATH:$PWD/Odin -fi if [[ $1 == "single_test" ]] then shift |